>>306
>ダイレクトに4色で塗れるかは4色問題そのものになってしまう。
あなたは4色問題を証明しようとしているのでは？
>白地図のどんな彩色もケンペ鎖で表せる。
接合後は6集点になっているので、平面グラフに含まれる6集点が4色で塗れること
も示す必要がある。今の場合は帰納法では5集点までしか扱っていない。