如何证明等价的向量组生成的向量空间相等