代数, VI, p. 42
令 K 为极大有序域并且
f(T)=a0+(1n)a1T+(2n)a2T2+⋯+anTn K[T] 中的多项式。对于所有整数
p,q,使得多项式的根的
0≤p<p+q≤n、数
ap+(1q)ap+1T+(2q)ap−2T2+⋯+ap+qTq 以重数计算,不属于到K最多等于
f的根的数,以重数计算,不属于到K(使用例12)。 推断如果 K 中
b1,…,bn 与
n 不同元素
>0,并且如果
(T+b1)⋯(T+bn)=Tn+(1n)m1Tn−1+⋯+mn 那么
mk1/k>mk+11/(k+1)for1≤k≤n−1.