h(x)=f(x)g(x)=Cnnx"”+…+cx+C0 其中c=Σab,假设(x)不是本原多项式, i+j=k 出则有素数p能整除h(所有系数因为/(x)(x) 王都是木原多项式故有/(5≤m15/m 使得 pla.,pa,pia P|bo…p|b-,p+b 国园國[回1 0 0 1 0 1 () ( ) ( ) , ( ) ( ) ( ), ( ) , (1 ,1 ) | , , | , , | , , | , . m n m n k i j i j k i i j j h x f x g x c x c x c c a b h x p h x f x g x i j i m j n p a p a p a p b p b p b + + + = − − = = + + + = ∑ ≤ ≤ ≤ ≤ " … … 其中 ,假设 不是本原多项式, 则有素数 能整除 的所有系数.因为 都是本原多项式,故有 使得 ? ?