Xaositect
Да, это действительно так. Но использовать можно. Пусть, например, коэффициент 

 не делится на 

. Тогда случай 1 теоремы Ферма доказан, т.к. при некоторых преобразованиях, можно показать, что при условии выполнимости равенства Ферма, 

. Это можно также увидеть в теме 
Petern1.
http://dxdy.ru/topic18275-240.html
К сожалению, коэффициент 

 всегда делится на 

, при 

 - простое. И где-то я это уже доказывал, не помню.
Добавлено спустя 18 минут 44 секунды:
Еще. Раз уж речь зашла за 

.
Я рассматривал подобные многочлены для небольших простых степеней. Все они делятся на 

. Многочлены 

, деленные на 

 имеют степень 

 и очень похожи на 

 как и на 

. Вернее, представляют всегда нечто среднее между ними. 
Кратко перечислю известные мне свойства:
1. Все их свойства разные. В зависимости от 

. Например, многочлены от 

-ой степени всегда квадраты. А мночлены от 

-ой степени всегда содержат один множитель-квадрат.
2. Их множителями не могут быть простые числа, меньшие 

. Но некоторые из них делятся на 

, при 

.
3. Все они делятся на 

 - удивительное свойство, но доказать пока не могу.
Добавлено спустя 15 минут 20 секунд:
А ну-ка стоп.
Еще раз рассмотрим последнее свойство и применим его к доказательству теоремы Ферма:
 
Откуда:
 
Таким образом, число в левой части:
1. Делится на 

, но это возможно только если 

, т.к. 

. Либо на 

 делится полиномная часть 

, т.е. 

???
2. Cодержит все стандартные множители 
 
3. Т.к. все множители полиномной части 

 имеют вид 

, а 

, то 

 имеет простые множители вида 

?
Или я что-то путаю?