AlesСамое интересное не в этом. Самое интересное, что если расширить кривую Фрея до

, то получится эллиптическая кривая

Ее дискриминант равен

, т.е. если

, то

.
Последнее, есть не что иное как кондуктор уравнения

.
Т.е. для уравнения

мы получаем
те же самые условия, что и для теоремы Ферма и точно такой же результат

Теперь очень интересно и очень важно понять каким образом трансформируется теорема Рибета. Будет ли получен тот же самый результат, и может ли данная кривая быть модулярной

По сути, вместо одного простого числа

там будут фиксироваться три

. Это единственное различие. Повлияет ли это на модулярность?
Т.е. вместо кондуктора

будет получен кондуктор

. Суть та же самая! Т.е. это
не должно влиять на модулярность никак. Т.е. эта кривая также не может быть модулярной!