若向量空间含有向量a,则必定含有-a?