 Thus, formula_40 for inequalities formula_41 of the initial system.When adding a new inequality formula_42 (by eliminating formula_5), the new history formula_44 is constructed as formula_45.Suppose that the variables formula_46 have been "officially" eliminated.