Prouvons à présent le théorème suivant:
\begin{theorem}
-\label{Prop: T est dans R} $\mathcal{T} \subset \mathcal{R}$.
+\label{Prop: T est dans R:gp} $\mathcal{T} \subset \mathcal{R}$.
\end{theorem}
= \mathcal{T}$. On a alors la caractérisation suivante:
\begin{theorem}%[Characterization of $\mathcal{C}$]
-\label{Th:CaracIC}
+\label{Th:CaracIC:gp}
Soit $f:\Bool^{\mathsf{N}}\to\Bool^{\mathsf{N}}$. La fonction $G_{f_g}$ est chaotique
si et seulement si $\textsc{gig}(f)$ est fortement connexe.
\end{theorem}
