非齐次线性方程组Ax=B有无穷解的充要条件