>>30
いえ、だから、
「特定の条件下では５色以上必要な事がある」ことは、
「４配色可能である」という仮定に矛盾しません。

例えば、証明の１ページにある、５つの頂点のグラフだけを考えてみます。
（配置とかではなくて、単に５つの頂点のグラフです。）

この時、何の制約もなければ、４配色可能なグラフであることは明らかです。

ただし、「P1をA, P2をB, P3をC, P4をD　とする」というような制約がある場合、
５色目が必要な事は明らかです。

ある特定の条件では５色以上必要なグラフでも、
全ての頂点の色を付け直して、上手く配色しなおすことで４色塗り分け可能であれば、
そのグラフは４配色可能であります。

言っていることは伝わっているでしょうか？