4色問題なんて黄色チャートにも載ってるんだよなあ