でも、実際には >>130 には何の矛盾もない.

上の例では, 例えば下のようにすれば4色で塗り分け
可能だから.

　　(A)　　(A)
　　　＼ ／
　B---C ---B
　　　／ ＼ ／　
　(A)　　　 D--(A)

ということを皆、繰り返し言ってるんだと思うんだけど.