4色問題ってコンピュータ以外の証明ができたんじゃなかった絵?