>>40
Ｎが小さいときには、手作業で確認できるから、反例は存在しない。
Ｎが大きくなると確認のしようがないから、チェーンで確認する。
ＡＣチェーンとＡＤチェーンの片方が繋がってないと証明するには
両方が繋がっているとＮ−２点で５色目が必要になって、仮定と
矛盾すると言うしかない。この作業は数学的には当然のことと思います。