theorem Th28: :: NUMBER10:28

for n being Nat
for p being Prime st n > 0 holds
p < primenumber (n + (primeindex p))