展开 证明如果秩为r的向量组可以