theorem Th15: :: MOEBIUS1:15

for n being non zero Nat
for p being Prime st not p in support (ppf n) holds
p |-count n = 0