>>72
塗り分けられない。
がN−2点のグラフは4配色可能なので、仮定と矛盾し、別の塗り分けられる
配色が必ず存在する。この背理法は以前から何度も説明してきた。