若p(x)是数域F上的不可约多项式,那么p'(x)也是F上的多项式且gcd(p,p')=1,故p(x)在C上没有重根