theorem Th27: :: MOEBIUS1:27

for p being Prime
for m, d being Nat st m is square-free & p divides m & d divides m div p holds
( d divides m & not p divides d )