Мы делаем замену в левой и правой части мнимого уравнения Ферма 
не для того чтобы получить какое-то новое уравнение и его решить , а для того что бы убедиться в том, что такая замена меняет значение  только левой части уравнения  

 . 
В правой части  изменения состоят только в том, что меняется порядок следования сомножителей.
У вас , Belfegor, в последней записи неточность, так как не отражены изменения в порядке следования сомножителей правой части, которые являются результатом замены переменных.
 Должно быть так:



Конечно на значение правой части это не повлияет, но отразит ту тонкость, о которой идёт речь: различие свойств инвариантности правой и левой части мнимого уравнения относительно преобразования переменных.
Ничего добьём, ясность будет полная 

.
Советую так же обратить внимание на то, что форма 

 принимает одно и то же значение для четырёх троек.
Так если взять значения с которыми оперировал Ontt 

, то

 чего не скажешь о 

.
Поработайте с численными примерами и многое проясниться.
Например, посчитайте значение формы 

, которая встречается в мнимом уравнении ВТФ5.