2.1. Pierre de Fermat was a leading mathematician of the first half of the 17th century, chiefly remembered for his
socalled Last Theorem, which states that, for all integers n>2, the equation xn + yn = zn has no solution in positive
integers. Unsolved for 350 years, the discovery of a proof was announced in 1993 by British mathematician Andrew
Wiles. Wiles, however, made an error in his original proof and had to create a revised proof in 1994. The proof is 150
pages long.
