Para ver que formula_116, se sigue de: