Si formula_43 y formula_44 entonces, formula_45