\caractransitivegeneralise*
-\begin{Proof}
+\begin{proof}
$\Longleftarrow$ Supposons que $\textsc{gig}(f)$ soit fortement connexe.
Soient $(x,S)$ et $(x',S')$ deux points de $\mathcal{X}_g$ et $\varepsilon >0$.
$G_{f_g}^t(x'',S'') \neq (x',S')$.
Ainsi $G_{f_g}$ n'est pas transitive et
par contraposée, on a la démonstration souhaitée.
-\end{Proof}
+\end{proof}
Prouvons à présent le théorème suivant:
\caracsubgeneralise*
-\begin{Proof}
+\begin{proof}
Soit $f:\Bool^{\mathsf{N}}\to\Bool^{\mathsf{N}}$ telle que $G_{f_g}$ est transitive (\textit{i.e.}
$f$ appartient à $\mathcal{T}$).
Soit $(x,S) \in\mathcal{X}_g$ et $\varepsilon >0$. Pour
$t_1+t_2$ itérations parallèles de $G_{f_g}$. Ainsi $(x,\tilde S)$ est un point
périodique. Puisque $\tilde s_t$ est égal à $s_t$ pour $t<t_1$, d'après le
choix de $t_1$, on a $d((x,S),(x,\tilde S))<\epsilon$.
-\end{Proof}
+\end{proof}
On peut conclure que $\mathcal{C} = \mathcal{R} \cap \mathcal{T}
= \mathcal{T}$.
\ No newline at end of file
