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