Computer-Assisted Proof

Der Vier-Farben-Satz (Four Color Theorem) - Kann jede Karte mit 4 Farben gefärbt werden?