de donde formula_4.