La ecuación formula_2 tiene exactamente una solución entera que satisface formula_3.