La podemos resolver para formula_23 para obtener una expresión específica para formula_3: