向量组的任意两个极大无关组所含向量的个数相等。