formula_36 y formula_49 implica formula_50