Simplify the following text for a Grade 8 native English-speaking person.
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 .