네 가지 색만 있으면 지도를 만들 수 있어요.

1852년 수학자인 프란시스 거스리는 네 가지 색만으로 영국의 각 주를 같은 색이 이웃하지 않게 색칠할 수 있다는 사실을 알아냈어요. 지도를 만들 때는 네 가지 색만 있으면 된다는 사실을 증명한 것이지요. 4색 정리는 어떤 지도에도 그리고 여러 조각으로 아무렇게나 나뉜 그림에도 적용돼요. 4색 정리는 컴퓨터를 사용해 증명된 최초의 주요 정리예요.