System of linear equations/Set of variables/Equivalent system/Manipulations/Fact/Proof