Como formula_7 es par si alguno de los primos "p" o "q" es congruente con 1 mod 4, y es impar en otro caso, formula_8 es igual a 1 si "p" o "q" es congruente con 1 mod 4, y es igual a –1 si ambos son congruentes con 3 mod 4.