theorem Th45: :: MOEBIUS1:45

PFactors 1 = EmptyBag SetPrimes