>>53
両方繋がっている場合は有るかも知れないが、Ｎ−２点で反例が生ずる
ことになるので、Ｎ−１点以下では４配色可能と言う仮定に反する。
Ｎ−２点で反例は無いので（仮定より）、全ての配色でＡＣまたはＡＤ
チェーンの片方または両方の繋がっていないグラフは１つは存在する。