>>290
N-2点のグラフでも塗りなおしができてACチェーンとADチェーンが
切れれば、そのグラフはBとCおよびBとDの色を入れ替えることができ、
4色で塗ることができるので矛盾は生じない。ただし、N点のときは
必ずチェーンが切れることを証明する必要がある。
しかし、それは四色定理を証明することと同じことである。