theorem Th43: :: NUMBER15:43

for n, s being Nat st n < s holds
(PrimeNumbersFS s) . (n + 1) = primenumber n