证明多项式无重根
发布人