［１］四色問題を最初の定式化したのはガスリーだといわれている。彼はド・モルガンやハミルトンと問題を共有したが、定理の証明には成功しなかった。

［２］1879年、ケンペがネーチャー誌に証明を発表。

［３］1890年、ヒーウッドがケンペの証明に穴があることを発見。ヒーウッドはどんな地図でも五色で十分であることを正しく証明した。

［４］1922年、フランクリンは25地域以下の地図は四色で十分であることを証明した。

［５］1970年、オレとステンプルは39地域以下の地図は四色で十分であることを証明した。

［６］1976年、メイヤーは95地域以下の地図は四色で十分であることを証明した。

［７］1977年、ハーケンとアッペルはへーシュの放電法とコンピュータを利用して悉尽的に四色定理を証明した

［８］1997年、ロバートソン、サンダース、とます、シーモアが四色定理を再証明する

［９］2005年、ゴンティエが汎用定理証明ソフトを用いて、四色定理をよりシンプルに証明した

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝