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