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

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

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