Предлагаю добавить: "...и показать, что оно не работает для степени два".
Из Вашего поста совершенно недвусмысленно вытекает, что доказательство следует провести и для степени два.
Ума не приложу, что у вас откуда и куда вытекает. Я говорю о том, что в предлагаемое ферматиком доказательство неразрешимости надо подставить
(это вы называете "провести и для степени два?") и показать, что получившееся рассуждение уже не является доказательством. Ибо если ферматик умудряется доказать, что уравнение
неразрешимо в натуральных числах, то его доказательство гарантированно неверно. Это уравнение разрешимо, все его решения были описаны еще 2300 лет назад Евклидом.