Vector space/Simple properties/Fact/Proof/Exercise