接合の定義を理解してないな。
>BかDが4集点の場合は可約配置
>なので無視すれば接合した点をBかDにすれば帰納法の仮定を満たす。
ＡとＣを接合するとまわり点と異なる色で彩色しなければならない。
接合した点をＢかＤにすると接合前のＢかＤに隣接するため矛盾をおこして
ＡかＣになるか５色必要になる。このとき４集点はあってもなくてもよい。
４集点を順次接合してなくなるまで繰り返す。そうすると結局７集点以上
が残るか、３彩色可能になるかいずれかとなる。