4.2.2 非齐次线性方程组解的判断