Supongamos que formula_28 y que formula_29.