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

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

This is clear, as when the tuple is given, the rows determine successively the other variables from bottom to top.