О, точно!
Это я что-то стормозил! Уже исправил на равенства.
А что делать с последним неравенством? Еще одну переменную вводить? Тогда зачем было избавляться от х1?