theorem Th10: :: MOEBIUS1:10

for a being Nat
for p being Prime st p |^ 2 divides a holds
p divides a