非齐次线性方程组在什么条件下有唯一解