(1)は帰納法の仮定に矛盾するから、５色目は必要ない。
Ｎ−１点以下では、Ｎが小さいとき矛盾しないので
帰納法の矛盾は存在しない。