Input (grade 4): He is best known for the Pythagorean theorem, which bears his name.
Output (grade 10): He is known best for the Pythagorean theorem, which is an important theorem about right triangles.