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