theorem Th49: :: MOEBIUS1:49

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