>>219
四色定理のコンピュータを使わない証明をすることはまだ難しい未解決問題。
四色定理のステートメント自体には数学的な価値は殆どないけど、
組合せ論が応用的で問題解決としての数学の一面があるから、それなりの意義はあるだろう。