非齐次线性方程组有解的充分必要条件是其系数矩阵和增广矩阵的秩相等