设非齐次线性方程组Ax=b的系数矩阵A及增广矩阵B秩相等R(A)=R(B)=r未知量个数为n,则它有唯一解的充要条件是