>>600
帰納法のスタートは１２頂点でよい。
非常に大きなグラフでも接合後に５集点があってもなくてもよい。
可約配置のない一般的なグラフ全体を対象にしている。
>>582の何を満たさないグラフとは具体的にどんなグラフですか。
一般的なグラフ全てを対象にしてるんだが。
問題はＮ点のときに可約配置が存在しない場合を対象としているので不可壁な
５集点を任意に選んでＰ０を抜いてＮ−１点の可約配置のないグラフを４彩色
可能と仮定している。ここのどこに問題があるの？