tiene a formula_1 como su conjunto solución, con 1 como única solución de la ecuación.