donde formula_9.