Проблема Четырех Красок

Проблема четырех красок (Four Color Theorem) - Можно ли раскрасить любую карту в 4 цвета