con una solución formal para formula_2: