>>532
>n-2点で5色必要になって矛盾するか、3色で塗れるか、いずれか
が間違い。「四色問題が正しい」ことを仮定している。
「n-2点で、3色で塗れる」は「n点のグラフは4色で彩色できる」と
仮定しなければ導けない。

n-1点以下は4色で彩色できると仮定した場合
「n-3点以下で5色必要になって矛盾するか、3色で塗れるか、いずれか」
が正しい。

4彩色可能が確定しているn-1点以下のグラフから5集点を取り除き
接合することでn-2点のグラフを作成することは不可能である。
n-1点以下のグラフから5集点を取り除いて接合すると必ず2点減少する
のでn-3点以下のグラフしか得られない。

あるいは、n-2点のグラフは4色で彩色できることは仮定から正しいので
「n-2点で5色必要になって矛盾するか、4色以下で塗れるか、いずれか」
ならば正しい。
この場合は五色定理までしか証明できない。