Vector space/Generating system and spanned subspace/Fact