theorem Th10: :: NUMBER19:10

for n being Nat holds n < primenumber n