Теорема Ферма доказана, поэтому это верно.
C этим я не спорю. Согласен. А вот с тем частным ограничением, что Вы привели, хотелось бы поглубже ознакомиться. Чье авторство, есть ли ссылочка на работы автора?
Так что, уважаемые модераторы, если Вам не сложно, то последние посты перекиньте в новую темку, например, "Доказанные частные случаи ВТФ", на эту тему можно было бы ссылаться из других тем. Например, существует доказательство Тержаняна для всех четных показателей n. Вот и хорошо. Пусть там оно будет и доказательство, и ссылочка на публикацию. Хорошо бы в этой теме не публиковать ошибочные или непроверенные доказательства.
Ещё один пример. В 1895 году Жонкюре изучил возможность существования алгебраических соотношений между гипотетическими решениями уравнениями Ферма. Как известно, все примитивные решения уравнения Пифагора, удовлетворяют известному алгебраическому соотношению:
На стр. 287 книги "Последняя теорема Ферма для любителей" П.Рибенбойм приводится доказательство Жонкюре, что никаких алгебраических соотношений для гипотетических решений ВТФ не существует.
Тем не менее за последние два-три года в Интернете (точнее в РУНЕТе) и даже в книгах появилось несколько доказательств ВТФ, которые начинаются с того, что если решение существует, то оно "находится" в тройках Пифагора (его надо искать в тройках Пифагора). А если его в тройках нет, значит ВТФ справедлива. Получается Жонкюре зря старался в далеком 1895 году? Ведь он доказал, что никаких соотношений быть не может, а значит и в тройках Пифагора искать эти решения не надо.
Перечитав классиков и уже имеющиеся доказательства в этой области, возможно и не было бы столь много заведомо пустых тем. Низкий поклон всем модераторам. Очень интересно читать.