f(x)是域F上的首一不可约多项式，域的特征Char F = 0,设E是包含F的代数封闭域，由于f(x)在域F上不可约，

一般的《代数数论》的教科书上应该都能够找到。比如冯克勤、刘凤梅《代数数论简明讲义》第15页。 大致说明如下; f(x)有重根 f与f'不互素（即有次数大于0的公因式） f'为f的形式导数（这样可以避免引入极限的概念，省去很多讨论）。 当char F =0时，f不可约 => f'≠0 （f的次数至少为2，导函数不会恒为0）， 由于f不可约，deg f' <deg f，故f, f'互素（若不然，设(f, f')=g，f'≠0，g|f'