6.2 两个线性方程组同解的判定