数学家 通过 证明 四色定理 解决 了 地图 着色 问题 。