已知线性方程组 X1-X2+X3-X4=1