victor_sorokin, освежите в памяти мое предупреждение, высказанное Вам больше года назад
здесь.[/mod]
Да, думаю, пора кончать эту бодягу! Как я и предполагал, ВТФ доказываатся с помощью самого примитивного аппарата – исчисления четностей. Вот доказательство.
***
В равенстве Ферма (после устранения общих делителей чисел

)
1°)

, где нечетное

,
степень четности, или показатель степени

в числе

(где

нечетно и

,

или

кратно 8-ми), равна по меньшей мере 2-м. Действительно, при записи равенства 1° в бинарной системе счисления в виде
2°)

-я степень при четном числе оканчивается на 00, а степени при нечетных числах – на 01. И тогда по двузначным окончаниям число

делится на 4, т.е.

.
Покажем, что, с другой стороны, в числе
3°)

показатель степени

.
Возьмем нечетное число

[или

] и вычтем [а в случае нечетного

– прибавим] из чисел

и

число

(от чего, очевидно, степень четности числа

не изменится):
4°)

.
Очевидно также, что и степень четности числа
5°)

(ибо

нечетно) должна оставаться равной степени четности числа

.
Но
6°)

(ибо

нечетно).
И мы имеем противоречие (ср. 2° и 6°).