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

Смысл теоремы заключается в том, что при раскрашивании географических карт можно использовать минимальное количество цветов, при этом соблюдая условие, что соседние страны не должны быть одного цвета. 14

Теорему о четырёх красках впервые сформулировал Фрэнсис Гутри в 1852 году, но долгое время не могли её доказать. 25 В 1976 году Кеннет Аппель и Вольфганг Хакер представили доказательство, для которого использовали компьютер. 35