Más aún, si se cumple esta congruencia entonces formula_1 debe ser un número primo.