定理描述:令,即為壹次形式(不定)乘積多項式的展開式系數的全體。則對任意對稱多項式,我們可以得到其中為元多項式。
證明思路為:對各項進行字典排序,即,取循環多項式為則易知的字典序降壹,故由歸納法可證其成立。