theorem MB149T: :: MOEBIUS2:51

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