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

не делится на

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

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

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

, при

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

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

. Многочлены

, деленные на

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

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

как и на

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

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

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

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

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

, при

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

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

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

, т.к.

. Либо на

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

, т.е.

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

имеют вид

, а

, то

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

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