theorem Th103: :: NUMBER14:103

for n being Nat
for i, j, z being Integer st n is odd & i,j are_coprime & i * j = z |^ n holds
ex k being Integer st i = k |^ n