Теорема Ферма. Не сказочное доказательство

Памяти мамы

Обозначения в системе счисления с основанием n, где n простое и n>2:
A_(k) или A_k – k-я цифра от конца числа A; A_[k] – k-значное окончание числа.

Итак, допустим для взаимно простых натуральных A, B, C и n>2
1°) A^n+B^n-C^n =0, где, как известно,
1a°) C>A>B>U=A+B-C=un^k>0 (k>0), и
1b°) A=U+a, где a>0, и теперь a+b-c=0,
1c°) Лемма. Если a_[s]+b_[s]-c_[s]=n^s и a_[2]=(d^n)_[2], b[2]=(e^n)_[2], c_[2]=(f^n)_[2] и (ac)_1=/=0, то
1d°) {(a^n)_[s+1]+(b^n)_[s+1]-(c^n)_[s+1]}_[s+1]=0 – простое следствие из бинома Ньютона и малой теоремы Ферма:
где (a_[t])^{n-1}_1=1, для t=2, 3, ... s-1;
1e°) в случае b_[k]=0 добавляется условие: (c-a)_[kn-1]=0 и для s>t>kn-1 a_[t]+b_[t-kn+1]-c_[t]=0.

Доказательство ВТФ
2°) Умножим равенство 1° на число g^n (которое, согласно малой теореме Ферма, существует) из равенства ug=n^v-1, откуда U=(n^v-1)n^k=n^s-n^k, где s>>k (обозначения чисел оставлены прежние).

3°) Согласно Лемме 1c°, из (a+B-C)_[s]=0 следует, что и (a^n+B^n-C^n)_[s]=0.
Но тогда (см. 1c-d°) прибавление к числу a величины n^k превращает цифру
[(a+n^k)^n+B^n-C^n]_(k+2), или [A^n+B^n-C^n]_(k+2) [в случае 1e° (kn+2)-ю цифру], в 1, что противоречит 1°.
Что свидетельствует об истинности ВТФ.

Mezos. 5.07.2018