m>n时,m个n维的向量组必定线性相关 还是这个推论
这里有个定理：r个n维行向量组,当r