展开 证明秩为r的向量组中任意r个线性无关