Вопросы к Поиску с Алисой
Кеннет Аппель и Вольфганг Хакен доказали, что всякий планарный граф может быть раскрашен четырьмя красками, в 1976 году. yandex.ru ru.wikipedia.org