Я хочу расширить действие ВТФ и на показателей степени 2:
Допустим, что уравнение

имеет решения в натуральных числах

.
Тогда данное уравнение разрешимо и в взаимнопростых числах (доказательство пока приводить не буду, но если пойду на фильдсовскую-обязательно напишу).
Перепишем уравнение

в виде

. Или

Правая часть уравнения делится на

, следовательно

тоже делится на

. Положим

и после сокращения получается

Тут очевидно

тоже делится на

, что при

противоречит взаимной простоты

.
Следовательно, уравнениe

может иметь решения в взаимнопростых числах, только если

. Или, что тоже самое, при

Перепишем уравнение

в виде

Проводя аналогичные рассуждения, приходим к выводу, что и

.
Или

. С учетом взаимной простоты

должно выполнятся

но оно не выполняется! Уравнение

не имеет решений в натуральных числах.