o lo que es lo mismo cuando formula_2 es un cuadrado no nulo módulo formula_1, y que por lo tanto tiene una raíz cuadrada en la aritmética de módulo formula_1.