Đại số, VI, p. 42
Cho K là một trường có thứ tự cực đại và cho
f(T)=a0+a1T+…+anTn là một đa thức trong
K[T] sao cho
a0=0=an và
ap=ap+1=⋯=ap+2m−1=0(1≤p<p+2m−1<n) Chứng minh rằng
f có nhiều nhất
n−2m nghiệm trong K, kể cả với bội số (áp dụng quy tắc Descartes). Suy ra rằng nếu
g(T)=1+c1T+…+cnTn có tất cả các nghiệm của nó trong K, và nếu
h(T)=1+b1T+…+b2mT2m là đa thức gồm
2m+1 số hạng đầu tiên của chuỗi lũy thừa hình thức
1/g∈K[[T]], thì h không có nghiệm trong K.