>>270
N-1点以下のグラフでACチェーンとADチェーンが繋がっている時に
BとCおよびBとDの色を同時に入れ替える方法が存在すると仮定する
ということです。その方法がケンペの方法でも良いし、気に入らな
ければ他の方法を仮定すれば接合しても矛盾は生じない。