证明向量组α1,α2···αs的任意r个线性无关的向量都是该向量组的一个最大线性无关组,其中r为α1,α2···αs的秩