Notemos que formula_17.