Чем дальше в их лес тем дальше от элементарного доказательства ВТФ.
На самом элементарном уровне гипотеза звучит так:
Уравнение Ферма можно привести к виду равенства, в котором левая часть представлена симметрической формой от трёх переменных степени
![$p$ $p$](https://dxdy-03.korotkov.co.uk/f/2/e/c/2ec6e630f199f589a2402fdf3e0289d582.png)
-простое число, имеет свойство инвариантности
![$S^p(x,y,z)=S^p(x,z,y)=S^p(y,x,z)=S^p(z,x,y)=S^p(z,y,x)=S^p(y,z,x)$ $S^p(x,y,z)=S^p(x,z,y)=S^p(y,x,z)=S^p(z,x,y)=S^p(z,y,x)=S^p(y,z,x)$](https://dxdy-04.korotkov.co.uk/f/f/c/c/fcc992c98007bf67958854ef99653fdc82.png)
,
а правая часть, помимо свойства инвариантности
![$S^p(x,y,z)$ $S^p(x,y,z)$](https://dxdy-03.korotkov.co.uk/f/e/9/c/e9ce07dab11ff9dfabbd50a9f99eb56882.png)
, имеет дополнительное свойство инвариантности относительно преобразования переменных:
![$W^p(x,y,z)=W^p(s,y,z)=W^p(x,s,z)=W^p(x,y,s)$ $W^p(x,y,z)=W^p(s,y,z)=W^p(x,s,z)=W^p(x,y,s)$](https://dxdy-02.korotkov.co.uk/f/5/3/4/53432f0e06758f277c3deac27f28be0e82.png)
.
Где
![$s+x+y+z=0$ $s+x+y+z=0$](https://dxdy-04.korotkov.co.uk/f/3/b/9/3b92fa2cc5144e3fe4db7fa3e97eab4882.png)
.
Это свойство инвариантности преобразования переменных в правой части эквивалентного уравнения Ферма означает то, что целое число записанное при помощи формы
![$ S^p(x,y,z)$ $ S^p(x,y,z)$](https://dxdy-03.korotkov.co.uk/f/2/f/e/2fedebf2b8b91d2324e8f9936017570082.png)
имеет дополнительные делители по сравнению с числом которое записано при помощи обычной симметрической формой
![$S^p(x,y,z)$ $S^p(x,y,z)$](https://dxdy-03.korotkov.co.uk/f/e/9/c/e9ce07dab11ff9dfabbd50a9f99eb56882.png)
от трёх переменных, по этой причине равенство таких форм в целых числах запрещено
![$S^p(x,y,z)\ne\ {W^p(x,y,z)}$ $S^p(x,y,z)\ne\ {W^p(x,y,z)}$](https://dxdy-02.korotkov.co.uk/f/9/1/a/91adb7054eb2062c3a1ab848c0320b1e82.png)
![$p$ $p$](https://dxdy-03.korotkov.co.uk/f/2/e/c/2ec6e630f199f589a2402fdf3e0289d582.png)
-простые нечётные числа.