>>612
Ｎ点で5集点が不可壁集合であることだけでＮ−１点で４集点があったとしても
辺の５頂点を３彩色できるか、接合で５色必要になって矛盾するかで辺の
５頂点は３彩色できる。不可壁集合に５集点があればよい。k4は全部無視してよい。
私の証明をよく読んでほしい。