为何n+1个n元向量必线性相关