Теорема четырех цветов: математическая теория и примеры