Se sabe que: formula_10.