 Obviously, this formula is equivalent to 

The inequality 
is equivalent to formula_24 inequalities formula_25, for formula_26 and formula_27.We have therefore transformed the original system into another system where formula_5 is eliminated.Note that the output system has formula_29 inequalities.