states that no three positive integers , ', and ' can satisfy the equation ' for any integer value of ' greater than two.

This theorem was first conjectured by Pierre de Fermat in 1637 in the margin of a copy of Arithmetica, where he claimed that he had a proof that was too large to fit in the margin. The first successful proof