Por reciprocidad cuadrática, cualquier módulo primo del cual 2 tenga raíz cuadrada es congruente con formula_35.