设A是mxn矩阵,非齐次线性方程组Ax=b有解的充分条件