theorem MB149: :: MOEBIUS2:43

for n being non zero Nat
for p being Prime st p |-count n <> 0 holds
(SqFactors n) . p = p |^ ((p |-count n) div 2)