Феноменальное свойство равенства Ферма состоит в том, что в равенстве
A^n=C^n-B^n=(C-B)P, где последняя цифра A'>1, для любого сколь-угодно большого k, [k+1]-значные окончания (C-B)_[k+1] и P_[k+1] чисел C-B и P есть окончания чисел A'^{n^k} и 1^{n^k} (т.е. 00...01).
Доказательство содержит единственное вычисление: возведение равенства An=(C-B)P в (n-1)-ю степень, после чего неравенство по (k+2)-м цифрам становится очевидным.
/Текст доказательства (2 стр.) высылается по запросу./
========
Любопытно все же наблюдать, по какому закону факт доказанности доберется до высших эшелонов научной власти...