Sean formula_1, formula_26 tales que formula_37.