Это следует из равенства чётного чётному. А если быть точным, то

и

.
Или наоборот:

и

, но что совершенно не равнозначно. И на что тоже не обращено внимание.
Уважаемый krestovski! В ваших сообщениях или грубые ошибки, или глубокие заблуждения. О чем Вам неоднократно сообщалось. Так и здесь, Вы глубоко заблуждаетесь, хотя равенства в теме содержат как правило три слагаемых.

. Как из этого равенства Вы умудрились сделать такой вывод, что

? Стоит ли после этого разбирать остальное.
-- 22.04.2016, 23:57 --Уважаемый lasta, не могли бы Вы улучшить сопроводительный текст. Сделать его лаконичным, но понятным в важных моментах доказательства.
Уважаемый binki! Ваша просьба сделать доказательство лаконичным, но понятным не простая задача. Введением дополнительного обозначения степени, участвующей в спуске, возможно облегчит задачу.
1.Произвольную степень

выразим через степень

при условии

и разность степеней

. То есть

Степень

может быть любой составной или не составной. Есть возможность выбора. Выбираем составную

и другую разность степеней

. Тогда

где все числа - произвольные, натуральные, с условием

и

, а
2.Произвольную разность степеней

выразим через разность степеней

при условии

и вторую разность степеней

. Есть возможность выбора. Пусть

. Тогда

Если

(ВТФ не верна), то степень равняется разности степеней. Пусть

Откуда
Здесь мы лишний раз показали, что алгебраическое выражение за счет сокращения

переходит в тождество. Но если разность степеней представлена числом

, то этого не происходит.
Далее. Не важно какой из делителей делится на

. Поэтому можем записать

Пусть

. Это не нарушает общности, так как у нас остается выбор вместо

взять другую степень

.
Разделим правую и левую части (4.е) на

,
![$$\frac{V_b}{a_1^p}=\frac{a^p}{a_1^p}=\frac{ a_1^pa_2^p}{a_1^p}=[\frac{V_f}{a_1^p}]+\frac{ c_1^p a_1^p b_1^p r_1^p }{a_1^p} =[\frac{a^p-f^p}{a_1^p}]+\frac{ c_1^p a_1^p b_1^p r_1^p }{a_1^p}$$ $$\frac{V_b}{a_1^p}=\frac{a^p}{a_1^p}=\frac{ a_1^pa_2^p}{a_1^p}=[\frac{V_f}{a_1^p}]+\frac{ c_1^p a_1^p b_1^p r_1^p }{a_1^p} =[\frac{a^p-f^p}{a_1^p}]+\frac{ c_1^p a_1^p b_1^p r_1^p }{a_1^p}$$](https://dxdy-02.korotkov.co.uk/f/d/b/e/dbe32f40cc58b54014fc47bddacd4fa582.png)
получим

Вывод, что существует степень

.
И существует новая разность степеней

Если существует разность степеней (число со статусом разности степеней), то должна существовать тройка чисел

и

.
В (6.е) степень

с неопределенными свойствами (составная или не составная). Но так как существует тройка чисел

, то существует другая вместо

степень

, с необходимыми нам свойствами и другая разность степеней

, удовлетворяющая условию

, разложения степени через меньшую степень и разность степеней. Тогда

Следует обратить, внимание, что

не может быть одной из степеней

, так как (7.е) не может содержать слагаемое больше самой суммы.
Итак, новая тройка имеет все свойства исходной тройки. Первый шаг бесконечного спуска доказан. Этого достаточно, чтобы утверждать, что ВТФ верна.