有解、无解的方程组的判定 Consistent and Inconsistent Systems