theorem :: NUMBER12:51

PrimeDivisors 1 = {}