電腦輔助證明

四色定理（Four Color Theorem） - 任何地圖都能用4種顏色塗滿嗎？