Почему для раскраски карты требуется не более четырех цветов?

Ответ на вопрос объясняется теоремой о четырёх красках. 12 Она утверждает, что любую карту, расположенную на плоскости или на сфере, можно раскрасить не более чем четырьмя разными цветами так, чтобы любые две области с общим участком границы имели разный цвет. 12

При этом области должны быть связными (не могут состоять из двух и более отдельных «кусков»), а граница должна быть неточечной (в одной точке своими углами может соприкасаться сколько угодно областей, в том числе окрашенных в один цвет). 1

Теорема была доказана в 1976 году Кеннетом Аппелем и Вольфгангом Хакеном с помощью компьютера. 12