4.2线性方程组有无解的判定