>>5
四色問題は解決済み
膨大な組み合わせ全てを計算機使って確認した