Великая теорема Ферма (каковой ее считают оптимисты) или гипотеза Ферма формулируется следующим образом: для любого натурального числа «n» больше 2 уравнение xn+yn=zn не имеет решений в целых ненулевых числах x, y и z. В результате научного поиска, продолжавшегося триста пятьдесят лет и время от времени приносившего отдельные результаты, в полной мере теорему в 1995 году доказал британский математик Эндрю Уайлс. Это доказательство представляется исключительно сложным и явно не поместилось бы на полях рукописи.
