若非齐次线性方程组ax=b有唯一解