summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--notes-accq205.tex4
1 files changed, 2 insertions, 2 deletions
diff --git a/notes-accq205.tex b/notes-accq205.tex
index ebea262..5ce7d3c 100644
--- a/notes-accq205.tex
+++ b/notes-accq205.tex
@@ -1928,10 +1928,10 @@ $h_i(g_1,\ldots,g_n) = q_i f$ : soient $\tilde f, \tilde g_j, \tilde
q_i \in k[t]$ les polynômes ainsi substitués et soit $w \in k$ une
racine de $\tilde f$ (noter que le degré de $\tilde f$ est le même que
celui de $f$ en la variable $t$ puisque le coefficient dominant ne
-s'annule pas en $v_1,\ldots,v_d$) : on a $\tilde h_i(\tilde
+s'annule pas en $v_1,\ldots,v_d$) : on a $h_i(\tilde
g_1,\ldots,\tilde g_n) = \tilde q_i \tilde f$, donc en évaluant en $w$
ce polynôme, on trouve $0$. Ceci montre que $x_j := \tilde g_j(w)$
-répond au problème posé.
+répond au problème posé $h_i(x_1,\ldots,x_n) = 0$.
\end{proof}