四色問題はコンピュータで検証されたんだっけ