theorem Th7: :: MOEBIUS1:7

support (ppf 1) = {}