Одна из самых популярных теорем математики, сформулированная французским математиком Пьером Ферма. Её условие формулируется просто, на «школьном» арифметическом уровне, однако доказательство теоремы искали многие математики более трёхсот лет. Доказана в 1994 году Эндрю Уайлсом (доказательство опубликовано в 1995 году).

Теорема утверждает, что для любого натурального числа  уравнение:

не имеет решений в целых ненулевых числах  .