Vector space/Simple Properties/Fact/Proof/Exercise