theorem Th86: :: NUMBER17:86

for a, b, c, d, n being Nat st a,b,c are_mutually_coprime & (a * b) * c = d |^ n holds
ex k being Nat st a = k |^ n