theorem Th26: :: MOEBIUS1:26

for m, n being Nat st m is square-free & n divides m holds
n is square-free