Linearly independent/Simple properties/Fact