theorem PrimeSet0: :: NUMBER18:36

PrimeDivisors 0 = SetPrimes