>>590
５集点が可約であることは証明前には分からなかったことです。
証明後はＮ点に必ず５集点が存在するので、その意味から言うと
任意のグラフには５集点が必ず存在し、可約配置は有り４彩色できる
となります。
仮定は、５集点以外の可約配置のないＮ点グラフを対象としています、となります。