从一个线性方程组中拿出几个方程组成另一个方程组,和原来的方程组是同解的吗?如何理解