四、无解的判断