注意定理的条件“线性无关”!!
一个线性无关的n维向量组所含向量个数肯定不超过n啊与定理并不矛盾。
向量组I(含有s个向量)可以由向量组II(含有t个向量)线性表示则 秩(I)≤秩(II)。
这时候得不出关于s与t的任何关系式只能是 秩(I)≤秩(II)≤t。
推论就是你所写的如果向量组I线性无关,则秩(I)=向量组I所含向量个数=s所以结论就变成了s≤t。