设（Ｅ）：α１，α２，…，αｎ和（Ｆ）β１，β２，…βｎ是两个等价线性无关的向量组，本文证明，对于（Ｆ）中任意ｒ（１≤ｒ≤ｎ）个向量βｉ１，βｉ２，…βｉｒ，在（Ｅ）中至少有一个含ｒ个向量的部分组αｊ１，αｊ２，…，α......