4.2.1 非齐次线性方程组解的判定