theorem Th14: :: NUMBER13:14

for k being Nat
for p being Prime st primeindex p < k holds
(primesFinS k) . (1 + (primeindex p)) = p