From dab303de04c9677e857f4fbd6b7d6e02239c4aba Mon Sep 17 00:00:00 2001
From: "David A. Madore" <david+git@madore.org>
Date: Thu, 3 Mar 2016 11:59:10 +0100
Subject: Typo.

---
 notes-accq205.tex | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'notes-accq205.tex')

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}
 
 
-- 
cgit v1.2.3

