最近の議論は前提のところが見えなくなって付いていけなくなってたけど、
過去ログ読み直したらやっぱり「N-1点までのグラフは四彩色可能」という仮定と
「『3点の彩色を拘束した』N-2点グラフの彩色に5色必要」ってのは矛盾しないって
だけだよなぁ。