>>132
なるほど.
ようやく証明の流れが分かったような気がする.

「考えている N-1 点のグラフの『任意の』 4色塗り分けに対して,
P1〜P5 を塗るのに4色使われていて, かつ AC チェーン, AD チェーンが
繋がっているとせよ.

そうすると, A と C, あるいは Aと D を「接合」して得られる N-2 点の
グラフの塗り分けに5色必要」

となるから矛盾, といいたいわけか. すると多分,

命題: 「N-2 点のグラフの『全ての』4色での塗り分けは,
元のN-1点グラフの4色を用いた『ある』塗り分けから上記の
操作で得られる」

ということが成立すると思っているのね.

これは自明じゃないから、これを示さないと何も証明したことに
ならないよ.

>>134
うん, 同じ人. 改行多すぎると怒られたから分けただけ.