定理描述：令，即为一次形式（不定）乘积多项式的展开式系数的全体。则对任意对称多项式，我们可以得到其中为元多项式。证明思路为：对各项进行字典排序，即，取循环多项式为则易知的字典序降一，故由归纳法可证其成立。
