Por lo tanto: formula_9