formula_244 implica que formula_245.