>>591
>５集点が可約であることは証明前には分からなかったことです。
帰納法の仮定はN-1点までなのでN点のグラフで5集点が可約であること
を示した後でないと、N点のグラフが4彩色可能であることを用いて
N+2点のグラフが4彩色可能であることは示せないでしょう？

根本的な証明の誤りが分かったので、改めて書き込みます。