求证明等价的向量组生成的向量空间必相等过程