Computer-Assisted Proof

4색 정리(Four Color Theorem) - 어떤 지도든 4색이면 칠할 수 있을까