Obviamente, resulta que formula_8.