theorem Th8: :: MOEBIUS1:8

for p being Prime holds support (ppf p) = {p}