theorem Th71: :: NEWTON:71

for p being natural Number holds SetPrimenumber p is finite