Input (grade 10): Theorems have two components, called the hypotheses and the conclusions.
Output (grade 8): Among the best examples are the four color theorem and the Kepler conjecture.