Уважаемый Гаджимурат! Я не разобрался в Ваших обозначениях. Замечу только что если эти равенства выполняются, то это ничего не доказывает
Совершенно верно-это одна из многих полученных мною формул,при условии,что ф.
не прав и,что ур-ние Ф. имеет решение в целых числах.Остается анализ полученных ур-ний и он должен показать почему Ф. прав,т.есть найти ошибки в ур-ниях,не нарушая при этом основ математики.
А разобраться в символах очень просто:

определяется из

определяется из

определяется из

(написано для 1 случая Ф.)

определяется из сложного ур-ния,имеющего

членов,а для

следует

. Для 1 случая Ф.

не делятся на

,т.как

должна будет делиться на

. Пример для

.

+

.(1)Символы все вроде теперь Вам знакомы.
Для

1 случай Ф. доказывается элементарно просто.
Из (1) следует,что

делится на

.
и из других исследований нам известно,что и

или

должно делиться на 5.Если это учитывать,то имеем :

-делится на 5 .Делайте выводы.
Этот частныи случай.Общий случай

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

Замечу,что и

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

и более. Если принять,что

делится только на 5,оказывается Ф. прав и доказывать уже ничего не надо.А если принять,что

делится на

и более,требуются дополнительные усилия.
Вот почему я всегда настаиваю:если принимать что

или

делятся только на

-Ф. прав,решения ур-ния в целых числах нет!!!!