Input (grade 11): The most prominent examples are the four color theorem and the Kepler conjecture.
Output (grade 8): Among the best examples are the four color theorem and the Kepler conjecture.