Escribir la función formula_23 con formula_24 en la forma formula_25.