Изменения

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

== Источники информации ==

* [http://matica.org.ua/lektsii-po-diskretnoy-matematike/3-08-6-raskraski-planarnich-grafov matica.org {{---}} Раскраска планарного графа ]