>>584
５集点が可約かどうか分からない仮定のもとＮ点のグラフを４彩色可能として
導いてる。そこで５集点が可約と証明できたので帰納法は成立する。
確かに５集点が可約であると分かっていれば、帰納法など使う必要はない。