四色定理
長らく「四色問題」だったが、途方もない計算により証明されて定理になった、スマートな解法がない定理