>>24
>B�Dとする。ということは、(一時的にでも)5色目を使うってことでしょうか?
そうゆうことです。色拘束があるため5色目を使わなければならないのです。

>B�AとD�Bを結合して、証明の2枚目の、P2みたいにする
接合の場合、色拘束があるので、P2の様にはいきません。
あくまでもB�Dとなります。ただし、N−2点のグラフは四色で塗れるので
B�Dは仮定に矛盾します。よってBDチェーンかBEチェーンのいずれか一方は切れてることになります。