K是一个特征为的域，f是K上的多项式，那么f没有重因子当且仅当f和f’互素