formula_4 es una función de formula_9.