Изложение в этой теме хоть имеет четкую структуру, что выгодно отличает ее от некоторых других
anwior писал(а):
Относительно Случая I речь конкретно ведется о том, что обеспечивая
общность рассмотрения, сам
он разбивается на такие две части (два случая):
1
2 

Нижеприводимое решение касается только случаев в строке “
1” ;
для связности изложения назовём их условия подпункта
1 (усл. пп.
1).
(в скобках еще заметим, что разбивка на указанные случаи обусловлена
обнаружением одного из двух прототипов ВТФ).
Великая теорема сводится к доказательству следующего
Основное утверждение (ОУ).
Не существует примитивной тройки (



)
с четным произведением
и
для которой
где 
---
простое 
Условие УО вместе с неравенством случая
1 дает пустое множество допустимых наборов

, так что теорема для
1, безусловно, верна

Действительно, поделив на

, заменим исходное уравнение на

,

, а условие
1 на неравенство

или

. Однако можно проверить, что левая часть на кривой

достигает минимума в точке

и для

он положительный.