Let a, b and c be natural numbers. If a^2 = bc and gcd(b, c) = 1, then there exist natural numbers s and t such that b = s^2 and c = t^2 .
Coprime cofactors of n'th powers are n'th powers, up to associates, for Gaussian integers & UFD