结论应该是s≤t。 注意定理的条件“线性无关”！！ 一个线性无关的n维向量组所含向量个数肯定不超过n啊，与定理并不矛盾。 一般的结论是： 向量组I（含有s个向量）可以由向量组II（含有t个向量）线性表示，则 秩(I)≤秩(II)。
