Prova Assistida Por Computador

Teorema das Quatro Cores (Four Color Theorem) - Qualquer mapa pode ser colorido com 4 cores?