Уважаемый Iosif1!
Ваше сообщение теперь достаточно понятно. Вы утверждаете, что структурные отличия между кубом и множителем предполагаемого куба
![$$b^3_x=\frac{(6c+1)^3-(6a+1)^3}{(6c+1)-(6a+1)}$$ $$b^3_x=\frac{(6c+1)^3-(6a+1)^3}{(6c+1)-(6a+1)}$$](https://dxdy-02.korotkov.co.uk/f/5/3/c/53c0bf18679269ccfb392bb859a673dd82.png)
достаточны для доказательства ВТФ для любой степени. Структурные отличия этого множителя давно известны, но их нельзя положить в основу доказательства. Так как одно и то же число можно определять различными формулами. Поэтому Ваши доводы понимаются лишь недоказанным утверждением частного случая теоремы для кубов.
Нет, я не это утверждаю.
Мне, совершенно, не кажется, что моё утверждение Вам, теперь, достаточно, понятно.
Во-первых, в вашей формуле, в знаменатели, не хватает тройки.
Но, не в этом суть.
Рассматривается структурное построение не
![$b_x^3$ $b_x^3$](https://dxdy-04.korotkov.co.uk/f/3/4/0/340b4b0df1d37cac3b9a0abf21b9ef8982.png)
, а
![$(b_x^3-1)/6$ $(b_x^3-1)/6$](https://dxdy-01.korotkov.co.uk/f/c/5/a/c5a526583ba0d697f12a422155de042d82.png)
.
Это первое существенное отличие, которое Вы, никак не хотите заметить.
Во-вторых, структурные противоречия для точных степеней и предполагаемых, вполне, ложатся в доказательство.
Правда, я не могу формализовать вариант, когда
![$(a_1+c_1)$ $(a_1+c_1)$](https://dxdy-01.korotkov.co.uk/f/4/d/d/4dd49caa1ba34bb894e266c9d62f821782.png)
относится к первому классу вычетов по модулю
![$3$ $3$](https://dxdy-02.korotkov.co.uk/f/5/d/c/5dc642f297e291cfdde8982599601d7e82.png)
, при условии, что
![$(b_x-1)/6$ $(b_x-1)/6$](https://dxdy-04.korotkov.co.uk/f/7/d/3/7d3093231c1ed9a6c802c9490453529082.png)
есть целочисленная нечётная величина.
Для всех остальных вариантов всё очень хорошо и доказывается, и формализуется.
Я не показываю доказанное, в надежде, что удастся формализовать и то, что пока не формализуется.
И, кроме этого, хочется понимания.