Linear inhomogeneous system/Elimination/Echelon form/Fact/Proof