>>647
接合を使わずに4彩色可能であることを示せないのなら、
N-1点以下のグラフは
(1)4彩色不可能である。
(2)4彩色可能でありACまたはADチェーンが切れる彩色が必ず
存在する。つまり、5集点が可約である。
の2通りしかないことになる。

N点のグラフからP0を取り除き接合した場合ACおよびADチェーンが
存在し、頂点の彩色に5色目(これをEとする)が必要になっても
(1)の場合は矛盾は生じない。
(2)の場合は5集点も可約であり不可避集合であるから、
3, 4, 5集点を取り除いていけば、いつかは5色目のEを
なくすことができる。
よって、接合した頂点の彩色に5色目が必要になっても矛盾は
生じない。