Изменения

Данная теорема была доказана Кеннетом Аппелем и Вольфгангом Хакеном. Их доказательство сводилось к рассмотрению порядка 2000 графов, 4-раскрашиваемость которых была проверена при помощи компьютера. Подробнее <ref>[httphttps://en.wikipedia.org/wiki/Four_color_theorem см. здесь#Proof_by_computer Wikipedia {{---}} Four color theorem]</ref>.