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