四色定理：

1872年，英國當時最著名的數學家凱利（Gayley,A.）正式向倫敦數學學會提出了這個問題，於是四色猜想成了世界數學界關注的問題。

1879年，英國律師兼數學家肯普（A.B.Kempe,1849～1922）發表論文，“證明”了四色定理。

1890年，數學家赫伍德（J.Heawood,1861～1955）發表論文，指出肯普文章中的重大錯誤；同時指出，利用肯普的方法，可以證明地圖的染色最多隻需要五種顏色，離四色猜想僅一步之遙。

1922年，美國數學家富蘭克林（P.Franklin）證明了區域數不超過25的地圖只需要用4種顏色。

1926年，雷諾茲（Reynolds）把區域數推廣到27。

1940年，韋恩（Winn）更進一步推廣到35。

1970年，奧爾（Ore）和斯坦普爾（Stemple）證明了區域數不超過39時成立。

1976年，美國數學家阿佩爾與哈肯在美國伊利諾斯大學的兩臺不同的電子計算機上，用了1200個小時，作了100億判斷，終於完成了四色定理的證明。

這個和韋恩有關係，不知道是不是啊