>>23
Case II ) については、確かに考えなくていいですね。
失礼しました。

で、Case I ) についてですが、
B⑤とする。ということは、（一時的にでも）５色目を使うってことでしょうか？

あと一つ。
B②とD③を結合して、証明の２枚目の、P2みたいにする、
と言う理解でよろしいですか？