Cave писал(а):
В.СорокинВам же сказали уже:
Anton Nonko писал(а):
Чушь. У Вас

- нечетно,

- четно, а в (2°) - наоборот.
, а Вы в ответ своё "
Противоречия нет". Если с буковками совсем плохо, то попробуйте

и посчитайте свои гениальные типы.
И вам – теперь уже троим – я ответил, что

в Лемме и

в Теореме не имеют ничего общего. Вы не можете понять простой вещи: если

и

разнотипны, то и

и

тоже разнотипны. Хотите – поменяйте

и

местами, хотите – используйте другие обозначения вместо этих цифр: верность Леммы и доказательства ВТФ от этого не изменятся.
Но важно, что

и

оба НЕЧЕТНЫ, что Вы опять проигнорировали. Так что Вам не мешало бы «как-нибудь проверять свои писания».
Anton Nonko писал(а):
Условие

по-прежнему нигде не используется, потому что в "доказательстве" не используется, что

делится на

. Была лишь предпринята путаная попытка всё решить одним лишь сравнением по модулю 4 разных чисел. Оптимистично, но, разумеется, неверно.
Вы невнимательно прочитали условие теоремы. Напоминаю:
(3°)

, или
(4°)

,
где два из чисел

и из чисел

нечетны и
(5°)

.
Условие

не может быть использовано потому, что число

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

.
Факт, что

делится на

используется при переходе от равенства 3° к равенству 4°, что возможно только при нечетной степени. Число же

используется в первой фразе доказательства 1-го случая: оно четно и наибольшее среди трех чисел.
Anton Nonko писал(а):
Вы когда начнёте хоть как-нибудь проверять свои писания прежде чем отсылать их сюда? Вы сказали, что в 1990 году было начало работы над доказательством. Это и всё, что Вы смогли сделать за 18 лет? Можно было бы успеть сына вырастить и в матшколу отдать, чтобы он в день по доказательству отметал.
А это уже не Ваше… дело.