验证 若向量空间含有向量X,这必定含有-X 线性代数的题