Supongamos que formula_26, entonces formula_27.