Linearly independent/Simple properties/Fact/Proof/Exercise