formula_36 es una función de formula_9.