>>497
>>N-1点以下のグラフでは3集点, 4集点, 5集点が可約であると仮定しなければいけない。

仮にN-1点以下のグラフで5集点が可約であると、仮定すれば、
接合した場合ACチェーンかADチェーンが必ず切れていて5色必要になることはない。
従って対象の5頂点は3色で塗ることができる。
よって、5集点が可約とゆうことも含めて、一般的にN-1点以下のグラフは4彩色可能であると仮定している。