听说 x义x 比较喜欢研究双射，于是我就来问一个双射问题。

证明：最高次数为 $n$ 次的 $\text{GF}(2)$ 上的不可约多项式数量等于长度为 $n$ 且只由 $0$ 和 $1$ 构成的 Lyndon Word，并且等于旋转和翻转视为一种的本质不同且无周期的项链数。