非齐次线性方程组AX=B有解的充要条件是