for n being Nat
for t, z being Integer st t,z |^ n are_coprime & n > 0 holds
t,z are_coprime