theorem :: NEWTON06:39

for a, b being Integer
for m, n being non zero Nat holds
( a,b are_coprime iff a |^ m,b |^ n are_coprime )