Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context · Original author HTML
Proof.
We construct by replacing by in the polynomial
|
|
|
Since , , it follows that
|
|
|
We now check that there is no polynomial of degree so that
. Indeed, if then
|
|
|
does not contain the monomial .
Note that , where , so the germ is irreducible. Proposition 3.1 implies that has an extension in .
∎