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

 - нечетно, 

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

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

 в Лемме и 

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

 и 

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

 и 

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

 и 

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

 и 

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

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

 делится на 

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

, или
(4°) 

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

 и из чисел 

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

.
Условие 

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

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

.
Факт, что 

 делится на 

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

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