Se sabe que: formula_30.