theorem :: NUMBER12:45

for i being Integer holds PrimeDivisors i c= SetPrimes