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

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



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

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

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

, то

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

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

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