Обе подстановки инволютивны (сами себе обратны), так что разные мономы (будем временно допускать отрицательные показатели) переходят в разные. Значит, коэффициенты мономов не меняются; посмотрим, как меняются показатели. При первой:тройка показателей

переходит в тройку

; при второй:

переходит в тройку

. Поскольку в результате подстановки получается таки многочлен, допустимыми показателями для

являются лишь те, для которых выполняется условие

. Значит, переразложением

можно превратить в многочлен

от мономов

. Но первая подстановка не меняет

, и переставляет

и

, вторая - не меняет

и переставляет

и

. Значит,

- симметрический от переменных

. Осталось применить теорему о симметрических многочленах - и дело в шляпе!