theorem Th83: :: NUMBER19:83

for n, k being Nat st k > 0 & not n + 1 is prime & (n + k) + 1 is prime holds
card (primeNumbers ((n + 1),k)) = (card (primeNumbers (n,k))) + 1