Observemos que formula_85 implica que: