>>519
>>509の
>これでは、５色の反例が必ず存在する、ということ証明しようとしている。
あなたの証明法では反例を区別できない場合があるので証明に欠陥があるということ。
反例が存在するのか、反例は存在しないが彩色の仕方が悪いのかが区別できない。
つまり今の証明法のままでは五色定理までしか証明できない。

N点の5-臨界グラフ(5-critical graph)の場合、頂点を取り除いてN-1点以下の
グラフを作った場合に臨界グラフの定義より必ず4彩色できるので帰納法の仮定を
必ず満たす。

証明を完成させるためには5-臨界平面グラフが存在しないことを示す必要がある。