线性方程组Ax=b 有解的充分必要条件是什么?