一般の停止性判定ができないだけで、あるケース単体について証明できる場合はあるよ