theorem Th24: :: MOEBIUS1:24

for n being Nat st n is square-free holds
for p being Prime holds p |-count n <= 1