>>494
もう一度証明をじっくり読んでください。
Ｎ−１点以下は４色で塗れると仮定しているので
Ｎ−２点で３色で塗れるか５色になって矛盾するか
どちらかで、Ｎ点までで帰納法を適応しています。
Ｎ＋１点は考えなくていい。