Observemos que formula_221 implica que formula_222