Si formula_21, entonces formula_22