Input (grade 8): In the 18th century, Leonhard Euler proved that, conversely, all even perfect numbers have this form.
Output (grade 7): In the 18th century, Leonhard Euler proved that all even perfect numbers have this form.