Компьютерное Доказательство

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