Некоторые итоги и неожиданный поворот событий
Идея предлагаемого вниманию читателя элементарного доказательства Великой теоремы Ферма исключительно проста: оказывается, после умножения равенства a^n + b^n - c^n = 0 на 11^n (т.е. на 11 в степени n) (а чисел a, b, c на 11) (k+3)-я цифра в числе a^n + b^n - c^n не равна 0 (здесь k - число нулей на конце числа a + b - c ).

Для понимания доказательства нужно знать лишь формулу бинома Ньютона, простейшую формулировку (она приводится) малой теоремы Ферма, определение простого числа, сложение двух-трех чисел и умножение двузначного числа на 11.
Вот и ВСЁ! Самое главное - не запутаться в десятке цифр, обозначенных буквами.
Краткое описание истории теоремы и библиография в русском тексте опущены.

В результате обсуждения со специалистами текст доказательства непрерывно оттачивается (кстати, пока никто из 40 специалистов по диофантовым уравнениям на ошибку не указал). Текст по состоянию на 1 января 2005 года смотри в формате World:
На английском языке (4 кб): fox.ivlim.ru/docs/Sorocinr.doc
На русском языке (3,5 кб): fox.ivlim.ru/docs/SorocinI.doc

На днях я получил в подарок от проф. Азми Ариффа из Малайзии пару книг. В одной из них (The Little Book of Big Primes by Paulo Ribenboim. ) я прочитал следующее:
"From Dirichlet's theorem on primes in arithmetic progressions, given n>=1, there exist infinitely many integers k >=1, such that k x 2^n + 1 is a prime, and also infinetely many integers k' >= 1, such that k' x 2^n - 1 is a prime
(<Исходя из теоремы Дирихле о простых числах в арифметических рядах, для данного n >= 1 существует бесконечно много целых k >= 1 таких, что k x 2^n + 1 есть целое число, а также бесконечно много целых чисел k' >= 1 таких, что k' x 2^n - 1 есть целое число>).

Несмотря на то, что П.Рибенбоим известный специалист по теории чисел, я с большим сомнением отношусь к указанному выводу. Однако, если допустить, что он верен, то ставится под вопрос приоритет Эндрю Уайлса в доказательстве ВТФ, ибо:
В декабре 1991 года в газете <Наука Урала> (№47) Уральского отделения АН СССР года я опубликовал (неполное) доказательство ВТФ, состоящее из двух лемм:

Лемма 1 (с очень простым - позже запатентованным в Институте интеллектуальной собственности в Париже - доказательством):
Если уравнение a^n + b^n = c^n имеет целочисленное решение, тогда число abc делится на любое простое число r = n x 2^k + 1;

Лемма 2 (так мною и не доказанная)Множество простых чисел r бесконечно.

Итак, приоритет Уайлса зависит от ответа на вопрос: прав ли П.Рибенбоим?
Впрочем, Уайлс об этом пока не знает...

Виктор Сорокин (Франция)