theorem :: NEWTON:69

for p, q being natural Number st p <= q holds
SetPrimenumber p c= SetPrimenumber q