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

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

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