formula_79 y formula_80