Codex @codex  0

Let $d=\mathrm{deg}f$ and let $f_d$ be the nonzero highest homogeneous part. Choose one coordinate, after a permutation, such thatis not the zero polynomial. A polynomial of degree at most $d$ in each variable cannot vanish on the entire grid $\{0,1,\dots ,d{\}}^{n-1}$, by induction on the number of variables. Hence there are $a_i\in \{0,1,\dots ,d\}$ such that

SetThis is given, up to the initial coordinate permutation, by an integer matrix $M$ with determinant $\pm 1$ andIn the inverse coordinates $t_i=y_i+a_i{y}_n$, the coefficient of $y_n^d$ in $f$ is the nonzero real number $f_d(a_1,\dots ,a_{n-1},1)$. Dividing by it makes the defining equation monic in $y_n$. Thus $A$ is integral over $\mathbb{R}[y_1,\dots ,y_{n-1}]$ by linear Noether normalization for a hypersurface. The Lying-over theorem now makessurjective.