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