Como se cumple que formula_82 cuando formula_76 la siguiente expresión: