Input (grade 7): This result is often referred to as the Euclid-Euler Theorem.
Output (grade 7): This result is often referred to as the "Euclid-Euler Theorem".