Аналитическое доказательство проблемы четырех красок для специального типа многогранниковкурсовая работа (Специалист)