接合後、４集点が存在すれば、４彩色可能であるから、ＡとＣを接合しても
５色必要だと言えなくなるから、ＡＣチェーンは切れていることになる。
したがってＡＢＣＤＢは接合前にＡＢＡＤＢになるはずである。
ＡＤチェーンについても同じでＡＢＣＤＢはＡＢＣＡＢにできるはずである。
接合後、４集点が存在しなくても４彩色可能と仮定しているからＡＣまたは
ＡＤチェーンが切れているといえる。
よってＰ０を抜いた５頂点は３彩色可能である。