>>51
Ｎ−１点以下のグラフではＡＣチェーンかＡＤチェーンのいずれか一方は切れてる
配色が１つ以上存在することを述べている。
それが背理法で証明できた、と言っている。
両方繋がっているグラフも存在するかもしれないが、片方切れているグラフは
必ず存在すると証明している。
もし両方繋がっているグラフしかなければコントラクト（接合）して５色目が
必要になるが、背理法の仮定で４配色可能としているのでＡＣまたはＡＤチェーン
のいずれか一方のチェーンは切れている配色は１つは存在することになる。