已知如下两个线性方程组同解则，满足().