>>348
P1とP3を接合してできたN-2点のグラフにおいて彩色をおこなう。
P1=P3=A,P2=C,P4=D,P5=BかつCDチェーンとCBチェーンがつながっているように
彩色した場合を考える。この場合も4彩色できているので帰納法の仮定を満たす。
このグラフを展開した場合にN点の全てのグラフで4彩色可能であることは示せない。