Vector space/Generating system and spanning subspace/Fact/Proof/Exercise