Esto se deduce del hecho de que formula_76, formula_77 y formula_78.