Данное задание является интереснейшей математической задачей. Данная задача была сформирована математиком Гутри в 1853 году. На формирование теоремы повлияло задание полученное математиком от Английского правительства. Суть задания заключалась в том, что ему требовалось разукрасить карту графств Англии. В один из моментов работы математик осознал, что достаточно лишь 4 света для того чтобы соседние графства были окрашены в разные цвета. В тоже время математик задумался о том работает ли это правило на карты других стран и королевств. Эта задача оставалась нерешенной более ста лет. Только в 1977 году удалось решить эту задачу. Решение принадлежит двум ученым: Кеннету Аппелему и Вольфраму Хакену. Как показала их практика эту задачу, оказалось, невозможно решить при помощи человеческого мозга. Решение было найдено лишь при помощи компьютера. Только компьютеру удалось доказать тот факт, что достаточно лишь четыре света для того чтобы разукрасить всю карту, будь то карта Украины или политическая карта мира. Несмотря на кажущуюся непотребность этой теоремы, однако,это безусловно изменило мир типографии, ведь это отличная экономия на краске.