theorem :: NEWTON:75

for n being Nat holds (SetPrimenumber n) \/ {n} is finite ;