>>29
>従って、上手く色を付け直せば、4色で塗り分けることが可能だとしても、
「@の前提では、5色必要になる」と言うことはありえます。

チェーンの拘束があれば、5色必要になり、矛盾を生じる。
うまく色を付け直せば、チェーンは切れて、5点(P1,P2,P3,P4,P5)はEを除く3配色可能となる。
BCチェーンとBDチェーンが両方繋がっている場合しか存在しないと矛盾を生じる。