Puesto que formula_1 es una función de formula_2, tenemos que formula_6.