>>644
2つのBのうち接合して4集点になるのは必ず1つだけである。
>>642では4集点になることも考慮している。
>(1)A1がC'に隣接している場合: A1とC3を接合すると接合した頂点は
>A', B5(5集点), C', D4に隣接しているので5色目が必要になる。
>(2)A1がD'に隣接している場合: A1とD4を接合すると接合した頂点は
>A'', B2(5集点), C3, D'に隣接しているので5色目が必要になる。

(1)ではB2が4集点になりB5は5集点のままなので、B5(5集点)と
書いているし、
(2)ではB5が4集点になりB2は5集点のままなので、B2(5集点)と
書いている。