formula_116 implica que ba = ab.