X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/hdrcouchot.git/blobdiff_plain/416d383eafc79d519cc2910697507e81bdc0d3c7..d69000ebda300fc836232f34cebb88ddfce4ac98:/annexesccg.tex

diff --git a/annexesccg.tex b/annexesccg.tex
index 9d32b22..257f86c 100644
--- a/annexesccg.tex
+++ b/annexesccg.tex
@@ -59,8 +59,10 @@ $\textsc{giu}(f)^\alpha$ a un  arc de $h(x)$ vers $h(y)$.
 \end{Proof}
 
 
+On peut alors prouver le thÃ©orÃ¨me:
+\thAdrien*
+
 \begin{Proof}
-du ThÃ©orÃ¨me~\ref{th:Adrien}.
 La preuve se fait par induction sur ${\mathsf{N}}$. 
 Soit $f$ une fonction de $\Bool^{\mathsf{N}}$ dans lui-mÃªme et qui vÃ©rifie les hypothÃ¨ses 
 du thÃ©orÃ¨me.
@@ -106,7 +108,7 @@ D'aprÃ¨s la seconde hypothÃ¨se,
 ${\mathsf{N}}$ n'a pas de boucle, \emph{i.e.}, la valeur de $f_{\mathsf{N}}(x)$
 ne dÃ©pend pas de la valeur de $x_{\mathsf{N}}$. 
 D'aprÃ¨s la troisiÃ¨me hypothÃ¨se, 
-il existe $i\in \llbracket 1;{\mathsf{N}} \rrbracket$ tel que $G(f)$ a un arc de 
+il existe $i\in [{\mathsf{N}}]$ tel que $G(f)$ a un arc de 
 $i$ vers ${\mathsf{N}}$.
 Ainsi, il existe $x \in \Bool^{\mathsf{N}}$ tel que $f_{{\mathsf{N}}i}(x) \neq 0$ et donc 
 %$n$ n'est donc pas de degrÃ© zÃ©ro dans $G(f)$, \emph{i.e.} 
