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