Đại số, VI, p. 42
Cho K là một trường có thứ tự cực đại và
f(T)=a0+(1n)a1T+(2n)a2T2+⋯+anTn một đa thức trong
K[T]. Với mọi số nguyên
p,q sao cho
0≤p<p+q≤n, số nghiệm của đa thức
ap+(1q)ap+1T+(2q)ap−2T2+⋯+ap+qTq được đếm với bội số, không thuộc K, nhiều nhất bằng số nghiệm của
f, được đếm với bội số, không thuộc K (dùng Bài tập 12). Suy ra rằng nếu
b1,…,bn là
n phần tử phân biệt
>0 trong K, và nếu
(T+b1)⋯(T+bn)=Tn+(1n)m1Tn−1+⋯+mn thì
mk1/k>mk+11/(k+1)với1≤k≤n−1.