2.1. Pierre de Fermat was a leading mathematician of the first half of the 17th century, chiefly remembered for his so-called 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.