Linear inhomogeneous system/Strictly triangular/Solution/Fact/Proof

Proof

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

To fact