theorem Th6: :: PYTHTRIP:6

for m, n being Nat holds
( m divides n iff m ^2 divides n ^2 )