for p being natural Number holds SetPrimenumber p c= Seg p