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 are determined successively from bottom to top.

To fact