FermatsLastTheorem (also called Fermat' Great Theorem)states that there are no natural numbers x, y, and z such that

- x^n + y^n = z^n

in which n is a natural number greater than 2. About this the 17th-century mathematician PierreDeFermat wrote in 1637 in his copy of Claude-Gaspar Bachet's translation of Diophantus' Arithmetica, "I have discovered a truly remarkable proof but this margin is too small to contain it." Mathematicians long were baffled by the statement, for they were unable either to prove or to disprove it, although the statement had been proved for many specific values of n.

Using sophisticated tools from algebraic geometry, the English mathematician AndrewWiles?, with help from his former student, RichardTaylor?, devised a proof of FermatsLastTheorem that was published in 1995 in the journal AnnalsofMathematics?.