the statement that there are no natural numbers (1, 2, 3, …) x, y, and z such that xⁿ+yⁿ=zⁿ, in which n is a natural number greater than 2. For example, if n = 3, Fermat's theorem states that no natural numbers x, y, and z exist such that x³+y ³=z³ (i.e., the sum of two cubes is not a cube). In 1637 the French mathematician Pierre de Fermat (Fermat, Pierre de) wrote in his copy of the Arithmetica by Diophantus of Alexandria (c. AD 250), “I have discovered a truly remarkable proof 【of this theorem】 but this margin is too small to contain it.” For centuries mathematicians were baffled by this statement, for no one could prove or disprove Fermat's theorem. Proofs for many specific values of n were devised, however, and by 1993, with the help of computers, it was confirmed for all n \\< 4,000,000. Using sophisticated tools from algebraic geometry, the English mathematician Andrew Wiles (Wiles, Andrew John), with help from his former student Richard Taylor, devised a proof of Fermat's last theorem that was published in 1995 in the journal Annals of Mathematics.