Условие:

Доказать, что если а и b — натуральные числа и корень ab — рациональное число, то — также рациональное число, а если корень ab — иррациональное число, то и корень (a/b) — иррациональное число.