>>61
最初にN点未満の地図が塗りわけ可能として、A〜C、A〜D が両方ケンペ鎖でつながっているとしたら矛盾を生じる
って論理を仮に認めたとしても、ここから言えることは、
「N点未満の地図に反例が存在する」かまたは
「A〜C、A〜D のケンペ鎖は少なくとも一方が切れている」
ということでしかない