производной тройкой первого шага. Ее «опустили» и получили тройки «2» и «3» (2.8). Но спуск производной тройки первого шага приводит к начальной тройке. Следовательно, тройки «2», «3» (2.8) – начальные, одна из которых («2» из (2.8)) преобразована к виду (2.9).

Этой тройке назначаются параметры a, b, посредством которых и выражаются ее члены – формулы (2.10). Привлечение «1» из (2.8) дает главное соотношение (2.11), из которого делается вывод: все ее сомножители - квадраты.

Это – главное в доказательстве по n=4 в [4]. Все дальнейшее - следствие из этого, в том числе и превращение  в подобие (2.6), что объявляется завершением первого шага спуска, позволившим получить «цепь уменьшения» и вывод «… мы указали …» и т.д.

Конкретные «неувязки» со спуском. «Малая» состоит в следующем. Объявленное квадратом  приводится к виду  (*)     («» нет в [4], но ведь так же должно быть), но ведь такое выражение отличается от исходного (2.6) с троекратной четвертой степенью. По правилам метода спуска свойства соотношения должны сохраняться, а здесь они сильно нарушены (квадрат вместо четвертой степени). Уже и поэтому спуск недействителен. Но в [4] такой «минус» засчитан в «плюс» («Следовательно, сумма двух четвертых степеней не может быть даже квадратом, не говоря уже о четвертой степени.», «Следовательно» - как следствие спуска). Какой же это «плюс», если  не сходится с , в чем выходит нарушение предписанных правил метода спуска.

«Бльшая неувязка» в следующем. Сумма  действительно не может быть квадратом, но не как результат спуска, а изначально. Уже было показано, что a и b – параметры начальной тройки, а сумма квадратов таких параметров (как и разность) не может быть квадратом (свойство начальных троек), и выражение (*) фактически выходит  (**) (первая степень). Если выражение (*) еще можно считать пифагоровой тройкой, то (**) таковой совершенно не является. Его можно представить в виде некоторой (непифагоровой) тройки, заменив Z на .

Такое выражение (**) и является фактическим аналогом (2.6) после первого шага спуска. На очереди второй (по ad infinitum),но он уже невозможен: в соотношениях вида (2.8) параметры P и Q (взамен p и q) будут уже нецелыми числами

,        .

Дальнейший спуск невозможен.