>>549
そのへんは四色問題の頃に論じられてるな
証明がただただめんどくさいからプログラム書いて解かせたけど内容が長すぎて人間が検証できないので困ったみたいな