Pembuktian Berbantuan Komputer

Teorema Empat Warna (Four Color Theorem) - Apakah peta apa pun dapat diwarnai dengan 4 warna?