System of linear equations/Set of variables/Solution space is vector space/Fact/Proof/Exercise