Формулировка теоремы довольно изящна, чтобы привести ее здесь:
для любого натурального числа n > 2 уравнение a^{n}+b^{n}=c^{n} не имеет решений в целых ненулевых числах a,b,c. (релевантный мем в подарок)

Спустя три столетия, данная теорема была (предположительно) доказана в 1993-1995-м годах. Изящное доказательство на 130 листов явно бы не уместилось на полях книги. Но и вряд ли его можно было назвать изящным. Сам Ферма опубликовал только статью, где доказал эту теорему для степени n=4, что в свою очередь доказывает, что изящного доказательства для общего случая у него не было.

Именно поэтому, я вспомнил о Пьере Ферма, когда несколько кандидатов на обучение по курсу Big Data Engineer при решении некоторых задач по Python, при заполнении формы, написали: поле вашей формы слишком мало, чтобы я смог уместить в нем свое решение.