theorem Th70: :: NEWTON:70

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