>>114
背理法によって塗り分けられることを示したのは最初の N点のグラフじゃないのか？
N-2点のグラフも「背理法後」塗り分けられるようになるのか？