引理1:设(X)∈F[Ⅹ]不可约 ()若p与不互素,则p|f (i)若2,则1或p/2 poof:()p不可约,知p无真因子 由(,f)p,知(p,f)=1,或p 而n,不互素∴(p,f)=P→>D|f (i)若P与不互素,则由()pf1 若p与/互素,则pf2 1212 ( ) , . ( ) , . 1 ( ) [ ] . 1 2 1 2 ii p f f p f p f i p f p f p X F X 若 则 或 若 与 不互素 则 引理 ：设  不可约 而 不互素 。 由 ，知 ，或 。 不可约，知 无真因子。 p f p f p p f p f p p f p proof i p p  = → = , ( , ) ( , ) ( , ) 1 :( ) 若 与 互素，则 。 若 与 不互素，则由 ， 1 2 1 1 ( ) ( ) p f p f ii p f i p f