昔、2chでお世話になったhadwigerって者です。
四色問題、Hadwiger予想をブール代数で証明するという話ですが、
完成してます。

http://hadwiger.html.xdomain.jp/

もしかして、本当にできるのでは？と思った方もいたかもしれないので
報告ということで。
ただ、もうここで議論する気力はありません（すぐケンカになるし）。
では、あしからず。