Original: In the 18th century, Leonhard Euler proved that, conversely, all even perfect numbers have this form.
Simplified: In the 18th century, Leonhard Euler proved that all even perfect numbers have this form.