一个非齐次线性方程组AX=b的导出组AX=0只有零解,则AX=b