>>597
>5集点が可約である、あるいは可約でないかの必ずどちらかである。
5集点が可約かどうか分からないところから証明している。
>つまり、N点では彩色に5色必要であるがP0を取り除くことで
>N-1点で4彩色可能になるケースを除外できない。
そのようなことはない。証明をよく読んで欲しい。
>>598
>帰納法のスタート地点のグラフの頂点数はいくつになるの？
とりあえず、１２頂点から。本当はもっと多くまで４彩色可能とされている。