noun

The theorem that the equation

*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).