theorem Th61: :: MOEBIUS1:61

for p being Prime
for n being non zero Nat holds p |-count (Radical n) <= 1