>>603
４，５，６，７・・・集点を含むグラフは無数にあってよい。
証明には何の影響もない。
P0を除くことは、証明の仮定で出てくることで何の問題もない。
Ｎ点で可約配置はないと仮定しているのでＮ−１点で４彩色可能だということに
何の問題もない。あなたも証明をよく読んで欲しい。