四色定理

四色定理は、数学の分野で長い間未解決だった問題の一つだ。

コンピュータの力を借りて、四色定理は証明された。

四色定理が証明されたのは、20世紀後半のことだ。