等价向量组同解吗