ACチェーンが繋がっているのでAをCに変えられない
同様にCをAに変えられない
そこに接続してるBとDにはかえられない
よってA,B,C,D,に縮約できず、第5色Eが必要になる。
N−2点の相対グラフでは4色で十分であるから、矛盾を生じる。
よってN−1点で5集点は3色となり、N点のグラフは平面状で4色で塗ることができる。
ゆえに平面上のグラフは4色で塗り分けることができる。