证明：有限域[tex=1.0x1.286]tfOKBWaLBHOxp4502/oePg==[/tex]上的一元函数（即[tex=1.0x1.286]tfOKBWaLBHOxp4502/oePg==[/tex]到自身的映射）都是一元多项式函数（即由[tex=1.0x1.286]tfOKBWaLBHOxp4502/oePg==[/tex]上的一元多项式诱导的函数），且[tex=1.0x1.286]tfOKBWaLBHOxp4502/oePg==[/tex]上每个一元函数都可以唯一地表示成[tex=1.0x1.286]tfOKBWaLBHOxp4502/oePg==[/tex]上次数小于[tex=0.5x1.0]NSsYk+dfiqXGkmCPT5DyRg==[/tex]的一元多项式函数。

多项式[tex=2.643x1.357]i+VxqnE17KYcKjLCA4F+Sg==[/tex]是[tex=2.143x1.357]dWatJMLI7pN/xzYgReR9Ug==[/tex]中所有次数整除[tex=0.643x0.786]SBMIs+VUk7//BOpfqlQl0w==[/tex]的不可约首 1 多项式的乘积. 特别地, [tex=1.0x1.286]tfOKBWaLBHOxp4502/oePg==[/tex]上任一[tex=0.643x0.786]SBMIs+VUk7//BOpfqlQl0w==[/tex]次不可约首 1 多项式均是[tex=2.643x1.357]i+VxqnE17KYcKjLCA4F+Sg==[/tex]的次数最高的不可约因子.