４色問題の古典的証明
4color-problem.net
under construction
本文(PDF)
図面(PDF)
Automatic translation document(PDF)
ライブラリ
存在証明