對稱多項式可以用基本對稱多項式來表示。這是什麽定理？

定理描述:設是壹階(不定)乘積多項式展開式的所有系數。對於任何對稱多項式，我們可以得到它是壹個元多項式。

證明的思路是:在壹個字典中對條目進行排序，即如果取循環多項式，那麽容易知道的字典順序就減壹，所以可以用歸納法證明。