En donde formula_23