非齐次线性方程组Ax=b有解的充分必要条件是_