
\documentclass{article}
  \usepackage{amsthm}
  \usepackage[french]{babel}
  \pagestyle{empty}

\begin{document}
\begin{proof}
(...) Et, par récurrence :
\[ (X+Y)^{n} = \sum_{{k=0}}^{n} {n \choose k} X^{{n-k}} Y^{k} \]
Ce qui généralise l'\emph{identité polynomiale}.
\end{proof}
\end{document}
