Pero puesto que formula_8, entonces globalmente formula_9