Theorems 2.3 and 2.6 together leave one case still undealt with: the primes
PN with N mod 7 = 4. Since there seems to be no similar approach that works
specifically for this last case, we resort to finding a multiplier that applies to PN
in general, regardless of the residue class of N modulo 7.