>>580
Ｎ−１点で４彩色可能と仮定しているのは、５頂点を辺としてそれ以外に
可約配置なグラフが存在すれば、Ｐ０をもとに戻してＮ点で４彩色可能となる。
問題はＮ点のときに可約配置が存在しない場合を対象としているので不可壁な
５集点を任意に選んでＰ０を抜いてＮ−１点の可約配置のないグラフを４彩色
可能と仮定している。証明はこのような場合に限って行わなければならない。
６集点以上の可約配置は数え上げの公式から無視できる。
このような場合、以前からの私の証明が有効になる。