向量组中极大无关组以外的向量必定线性相关.