1) Что означает формулировка ВТФ [в контексте представляемого Вам доказательства]? Формулировка ВТФ означает, что равенства

и

одновременно невыполнимы. Т.е., в конечном счёте, одно из трёх чисел

,

или

не является целым. Что означает Лемма на стр.1 данной ветки? Полное отрицание формулировки ВТФ, т.е., есть законное использование метода "от противного"-с получением противоречия, т.е. допущение об одновременном выполнении равенств

и

. Также, получено равенство

, что и требует учебник по теории чисел.
Дальше.
Слова "формулировка ВТФ в контексте предоставляемого доказательства" - это какой-то хэнд-мейд, ваше персональное изобретение. Формулировка ВТФ одна. Утверждение леммы другое. Они друг с другом никак не коррелируют. И собственно, я об этом и спрашиваю. Как из леммы следует ВТФ. В четвертый раз, заметьте.
Если рассматривать уравнение Ферма для степени три, то условие

следует из него автоматически, остальные два (для степени 7 и степени 11) - ваш личный произвол. Да, возможно, вам удается что-то доказать в этих новых условиях. Но дело в том, что эти новые условия - другие, чем те, что есть в ВТФ.
Это автономный результат, который, даже если он верен, отношения к ВТФ не имеет. А потому нет смысла проверять доказательство.