theorem Th84: :: NUMBER19:84

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