Vector space/Simple properties/Fact