The most prominent examples are the four color theorem and the Kepler conjecture.
Τα πιο χαρακτηριστικά παραδείγματα είναι το θεώρημα τεσσάρων χρωμάτων και η εικασία του Κέπλερ.