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

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

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

これは自明なんだがな。Ｎ−２点のグラフはＮ−１点の接合で得られる。