Около 10 лет назад, я доказал теорему, которая известна под названием большой теоремой Ферма. Недавно, по случаю, я в Интернете упомянул об этом. Конечно попросили меня представить доказательство. Несколько дней подряд я к своему удивлению не мог вспомнить доказательство, и даже близко не подошел к нему, а записей не сохранилось, кроме листка с одной формулой, которая уже являлась результатом. И надо сказать это очень удивило меня. Однако, я точно помнил, что доказательство построено на том, что при выводе получалось иррациональное выражение, помня об этом, я пришел к еще более простому выводу, и надо сказать, что Ферма именно этот вывод имел в виду, говоря что он удивительный (тем более, что раздумывал он в это время над решением геометрических задач). Вот краткая предыстория…