(\exists x_1)(\exists x_2)\ldots(\exists x_n)\Bigg[\sum_{j=1}^{n-1}\alpha_{sj} x_j+\beta_s\le x_n \quad\land\quad x_n\le \sum_{j=1}^{n-1}\gamma_{tj} x_j+\delta_t\Bigg]\Longleftrightarrow\\(\exists x_1)(\exists x_2)\ldots(\exists x_{n-1})\Bigg[\sum_{j=1}^{n-1}\alpha_{sj} x_j+\beta_s\le \sum_{j=1}^{n-1}\gamma_{tj} x_j+\delta_t\Bigg ]