ВТФ доказана?
Размерность в физике имеет важное значение.Она не дает смешивать
"килограммы" с "метрами",что,в частности,позволяет производить элементарную
проверку физического выражения на ошибки.Исключения составляют формулы,
полученные экспериментальным путем,но в них вводятся коэффициенты с
не существующими размерностями для востановления размерности физической
величины,определяемой экспериментальной формулой.
Так же дело обстоит и с математическими уравнениями.Любое уравнение
состоит из группы общих членов,которые могут состоять из произведения отдельных
членов,обозначаемых символами(деление есть произведение со знаком "-" в степени).
Все общие члены уравнений должны иметь одну размерность.Будем обозначать
размерность как

и записывать так:

,т.есть неизвестное число

имеет
размерность,равную

. Размерности можно только умножать,делить,возводить
и извлекать степени.Все это производится только в границах одного из группы членов
исходного уравнения.
Пример:исходное уравнение
(1).

,здесь

,тогда

и

.
Из исходного уравнения получим другое уравнение:
(2).

.
Проверим уравнение (2) на размерность.Вместо символов подставим их размерность:

.
Таким методом можно проверять любые уравнения,зная исходное уравнение.
Немного истории.
В 1984 году Г.Фрей доказал: если уравнение Ф. имеет целочисленные решения,
то существует кубическое уравнение
(3).

,где:

.
Уравнение (3) эллиптическая кривая и она необычна,причудлива.
В 1986 году К.Риберт доказал,что данная кривая не модулярна,т.есть для нее нет
соответствующей модулярной формы.
В 1995 году Э.Уайлс доказал гипотезу Танияма-Шакуры,т.есть любой эллиптической кривой
всегда найдется модулярная форма.
И,если уравнение (3) получено без математических ошибок,то ВТФ доказана.
Проверим уравнение (3) на размерность,зная исходное уравнение (4).
(4).

.
Если уравнение (4) имеет целочисленное решение,то:

и

, тогда

и

. В уравнении (3) каждый член должен иметь одну размерность
,а именно

, так как член ур-ния

имеет размерность,равную

.
Поэтому

и анализируя второй член справа,находим,что

должен иметь размерность
равную

.Подставим найденные размерности в (3):

.
Проверка показала,что условия одинаковой размерности не соблюдены в первом члене справа,
т.есть уравнение (3) получено из исходного ур-ния не корректно.Для восстановления одинаковой размерности
в ур-нение (3) необходимо ввести дополнительно неизвестный символ

c размерностью,
равной

.Тогда ур-ние (3) должно иметь вид:
(5).

В уравнении (5) размерность всех членов восстановлена.
Заключение:
1).Если Г.Фрей прав,то ВТФ доказал не Э.Уайлс,а сам Г.Фрей.
2).Если Г.Фрей не прав,то ВТФ не доказана.