Alhazen's contributions to number theory include his work on perfect numbers. In his Analysis and Synthesis, he may have been the first to state that every even perfect number is of the form 2 (2 − 1) where 2 − 1 is prime, but he was not able to prove this result; Euler later proved it in the 18th century, and it is now called the Euclid–Euler theorem.