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