>>593,>>594
以前の過去レスから証明方法を確認してほしい。
まだ何色で彩色できるか分からないＮ点のグラフが与えられて可約配置がない
と仮定して、Ｎ−１点で４彩色可能と仮定して、Ｎ−２点で接合して５色
必要になるか、接合前に５頂点が３彩色可能を示しているので５集点が可約
であることは仮定前に分からない状態で、５集点の可約配置を導いている。
>>593-594　何かとんちんかんなことを言ってるよ。