theorem Th82: :: NUMBER19:82

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