n维向量空间中,任何n 1个向量都是线性相关的