formula_1 implica formula_26