élément $i\in$ \class{p} et $j \in$ \class{q} tel que
$i \le j$ si et seulement si
\class{p} $\preceq$ \class{q}.
- \begin{Proof}
+ \begin{proof}
Tout d'abord, soit \class{p_1}, \ldots, \class{p_l} des classes
contenant respectivement les éléments $n_1$,\ldots, $n_l$
\class{p} $\preceq$ \class{q'} et pour chaque $i$, $k$ tels que $i \in$
\class{p} et $k \in$ \class{q'}, $i \le k$
et le résultat est établi.
- \end{Proof}
+ \end{proof}
\end{lemma}
On peut remarquer que ce processus de renommage est inspiré des \emph{graphes
% Processes numbers are already compliant with the order $\preceq$.
% \end{xpl}
-\begin{Proof}[du théorème~\ref{th:cvg}]
+\begin{proof}[du théorème~\ref{th:cvg}]
Le reste de la preuve est fait par induction sur le numéro de classe.
Considérons la première classe \class{b_1} de $n_1$ éléments
où tous les éléments de \class{b_j}, $1 \le j
\le k$, ont des valeurs constantes.
D'après les hypothèses du théorème, cela converge.
-\end{Proof}
+\end{proof}
