一个向量组由另一个向量组线性表出,秩的关系