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

-простое число, имеет свойство инвариантности

,
а правая часть, помимо свойства инвариантности

, имеет дополнительное свойство инвариантности относительно преобразования переменных:

.
Где

.
Это свойство инвариантности преобразования переменных в правой части эквивалентного уравнения Ферма означает то, что целое число записанное при помощи формы

имеет дополнительные делители по сравнению с числом которое записано при помощи обычной симметрической формой

от трёх переменных, по этой причине равенство таких форм в целых числах запрещено


-простые нечётные числа.