：√线性方程组有解当且仅当其系数矩阵的秩与增广矩阵的秩相等