4.3.2 向量组秩的定理