noun

*a*+

^{n}*b*=

^{n}*c*has no solutions in positive integers

^{n}*a, b, c*if

*n*is an integer greater than 2. It was stated as a marginal note by Pierre de Fermat around 1630 and not proved until 1994 by the British mathematician Andrew Wiles (born 1953).