Ejemplo: resolver formula_9: