>>313
ある方法で5集点が可約配置であることを証明することと、
その方法でN集点(N > 5)を含まない全ての平面グラフの4色問題を証明すること
は同値である。
N集点(N > 5)を含まない全ての平面グラフの4色問題を
接合を使って証明してください。