$f$ dont le graphe d'itérations
$\textsc{giu}(f)$ est fortement connexe.
-\begin{theorem}\label{th:Adrien}
+\begin{restatable}{theorem}{thAdrien}
+\label{th:Adrien}
Soit $f$ une fonction de $\Bool^{\mathsf{N}}$ vers lui-même telle que:
\begin{enumerate}
\item
une boucle négative.
\end{enumerate}
Alors, $\textsc{giu}(f)$ est fortement connexe.
-\end{theorem}
+\end{restatable}
La preuve de ce théorème est donnée en annexe~\ref{anx:sccg}.
-Illustrons ce théorème par un exemple. On considère par le graphe d'interactions
+Illustrons ce théorème par un exemple. On considère le graphe d'interactions
$\Gamma(f)$ donné en figure~\ref{fig:Adrien:G}.
Il vérifie le théorème~\ref{th:Adrien}:
toutes les fonctions $f$ possédant un tel graphe d'interactions
\end{center}
\caption{Exemple de graphe d'interactions vérifiant le théorème~\ref{th:Adrien}} \label{fig:Adrien:G}
\end{figure}
-
