已知α1...αs的秩为r,证明α1.αs中任意r个线性无关向量构成极大无关组