证明不可约多项式p(x)没有重根