一个向量组的极大无关组中向量的个数总是小于向量组的维数