theorem Th68: :: NEWTON:68

for p being natural Number holds SetPrimenumber p c= SetPrimes