Theorem 2.3 is practical only if we can find at least one prime PN for each of
the specified residue classes of N modulo 7. One may turn to page A020449 at
OEIS to see the first thousand terms of the sequence given by the primes PN. In
particular, we have the seven primes