theorem :: NEWTON:73

for m being Nat holds SetPrimenumber m c= Seg m