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