theorem MB148: :: MOEBIUS2:42

for p being Prime
for n being non zero Nat st p |-count n = 0 holds
(SqFactors n) . p = 0