Найдено красивое 4-строчное доказательство леммы: В базовом равенстве Ферма в Первом случае [АВС не кратно n] числа P, Q, R [в равенствах A^n=(C-B)P, B^n=(C-A)Q, C^n=(A+B)R=c^nr^n] имеют трехзначное окончание 001. И, следовательно, числа А, В, С бесконечно большие (см. http://vixra.org/abs/1707.0174).
Действительно, например, в равенстве D=(C-B)^n+(C-A)^n=a^{nn}+b^{nn}= =(a^n+b^n)R° каждый простой сомножитель числа R° имеет, согласно Лемме 6°, двухзначное окончание 01.
А любой простой сомножитель числа R является сомножителем числа D, но не является сомножителем числа a^n+b^n=2C-A-B (т.к. числа A+B и R взаимно простые).
P.S. Жаль, что никто не заметил и не подсказал простейшую ошибку в последнем доказательстве (от 4 сентября).
Возвращаюсь к доказательству от 5-11 мая. И сегодняшняя публикация - это крупный успех.