Теорему сформулировал знаменитый математик XVII века Пьер Ферма. Она состоит в том, что уравнение

xn + yn  = zn

не имеет решений в целых числах при n  > 2. На полях книги Ферма оставил пометку, что будто бы нашел удивительно изящное доказательство этой теоремы. Однако более трех веков никому не удавалось отыскать это доказательство. Только в 1994 году Великую теорему доказал английский математик Эндрю Уайлс (Andrew Wiles), причем доказательство заняло более сотни страниц математических выкладок.

Один неформал на полях написал,
Что он теорему свою доказал.
И все математики целого света
Не могут найти доказательство это!

2 

Евгений Онегин в десятой главе
Решил Теорему Ферма в голове.
Но Пушкин при помощи знаков и цифр
Главу превратил в неразгаданный шифр.

(математики о теореме Ферма)