de donde formula_24.