Among the best examples are the four color theorem and the Kepler conjecture .
The most prominent examples are the four color theorem and the Kepler conjecture .