>>587
帰納法が成立しているので、Ｎ−１点を４彩色可能と仮定して
Ｎ点が４彩色可能であると示している。
>　>Ｎ−１点の可約配置のないグラフを４彩色可能と仮定している。
>を条件として当然つかっているはずだが、それはN点の可約配置
のないグラフが4彩色可能であることは示している。