\item Hypothèse de récurrence : Supposons vrai pour tout entier $k < n$.
\item Étape : Si $n$ est premier, la propriété est triviale. Sinon, $n = ab$, où $a, b < n$. Par hypothèse, $a$ et $b$ sont des produits de nombres premiers.
\end{itemize}
\end{proof}
\ No newline at end of file
\end{proof}
\section{Applications}
\subsection{Calcul du PGCD et du PPCM}
\begin{definition}
Le PGCD de deux entiers $a$ et $b$ est le plus grand diviseur commun.
\end{definition}
\begin{definition}
Le PPCM de deux entiers $a$ et $b$ est le plus petit multiple commun.
\end{definition}
La décomposition en facteurs premiers permet de calculer ces valeurs efficacement.
\section{Algorithmes}
\subsection{Décomposition en Facteurs Premiers}
\begin{algorithm}[H]
\caption{Décomposition en Facteurs Premiers}
\begin{algorithmic}
\State\textbf{Entrée :} Un entier $n > 1$
\State\textbf{Sortie :} Liste des facteurs premiers de $n$