theorem Th11: :: MOEBIUS1:11

for p being Prime
for m, n being non zero Nat st m,n are_coprime & p |^ 2 divides m * n & not p |^ 2 divides m holds
p |^ 2 divides n