Puesto que formula_4, se tiene que: