如果非齐次线性方程组AX=b有解,则它有惟一解的充要条件是其导出组AX=0