ヒーウッドはｇ個の穴があいたトーラス上の地図に関するオイラーの公式

　　ｖ−ｅ＋ｆ＝２−２ｇ

を利用して

(1)２個の穴があいているトーラス上の地図はどれも８色で塗り分けられる

(2)３個の穴があいているトーラス上の地図はどれも９色で塗り分けられる

・・・・・・・・・・・・・・・・・・・・・・・・

(3)１０個の穴があいているトーラス上の地図はどれも１４色で塗り分けられる

に引き続いて，

(4)ｇ個の穴があいているトーラス上の地図はどれもＨ（ｇ）色で塗り分けられる

　　Ｈ（ｇ）＝［｛７＋√（１＋４８ｇ）｝／２］

を証明しました．

　［・］はガウス記号で，

　　ｇ：１，２，３，　４，　５，　６，　７，　８，　９，１０

　　Ｈ：７，８，９，１０，１１，１２，１２，１３，１３，１４

となるのですが，しかし，ヒーウッドはｇ≧２に対してそのような地図が実在することを示すことはできませんでした．そのため，この問題は「ヒーウッド予想」と呼ばれることになりました．

　１９６８年，リンゲルとヤングスは，ｇ（≧１個）の穴のあいているトーラス上にこれだけの色を必要とする地図が存在することを証明したのですが，ヒーウッド予想（１８９０年）が最終的に証明されるまでには７７年もの歳月が必要だったというわけです．

[注]本来の四色問題はｇ＝０のときですが、まだそこまでは証明できなかった。最も欲しい定理が最も難しいことは数学ではよくある。

[注]ｇ＝１の場合（トーラス）、７色必要になる例が構成できる。 ０

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