Изменения

Данная теорема была доказана Кеннетом Аппелем и Вольфгангом Хакеном. Их доказательство сводилось к рассмотрению порядка 2000 графов, 4-раскрашиваемость которых была проверена при помощи компьютера<ref>[httpshttp://enresearch.wikipediamicrosoft.orgcom/wikien-us/Four_color_theorem#Proof_by_computer Wikipedia um/people/gonthier/4colproof.pdf microsoft.com {{---}} A computer-checked proof of the Four color theoremColour Theorem] </ref>.