donde formula_13.