formula_9, de donde formula_10