Предложенные Antoshka соотношения являются следствия формул Абеля
Они по-разному выглядят для первого и для второго случая теоремв Ферма. В обоих случаях получается?
Из ложного утверждения следует всё, что угодно.
Про метод доказательства "от противного" слышали?
Вы хотите сказать, что формулы Абеля неверные? Они ведь тоже выведены из ложного утверждения
Верные. Для любого примитивного решения. Правда, таких решений, как уже доказано, нет, так что область применения этих формул пустая. Но использовать их для доказательства теоремы Ферма вполне можно.