formula_28 implica formula_29