This is clear, as when the tuple ( x m + 1 , … , x n ) {\displaystyle {}(x_{m+1},\ldots ,x_{n})} is given, the rows determine successively the other variables from bottom to top.
