Notemos que formula_41 se cancela.