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