すべてのグラフは線を足して三角形のタイルで埋め尽くせる。それは最大４色でぬれる。
そのあと足した線を外して、同じ色にすればやっぱり高々４色でいい。

これはグラフ理論で常識的な証明方法。