请问如何证明这两个线性方程组是否等价