The shortest known proof of the four colour theorem today still has over 600 cases.
Η μικρότερη γνωστή απόδειξη για το θεώρημα τεσσάρων χρωμάτων έχει και σήμερα πάνω από 600 περιπτώσεις.