
\documentclass{article}

\newtheorem{remarque}{Remarque}

\newtheorem{prelemme}{Lemme}
\newenvironment{lemme}{\begin{prelemme}\upshape}{\end{prelemme}}
\pagestyle{empty}
\begin{document}
\begin{remarque}
Ce qui suit est un lemme.
\end{remarque}

\begin{lemme}
Si un ensemble $E$ possède une partition en $p$ sous-ensembles contenant chacun $r$ éléments, 
alors $E$ contient $p \times r$ éléments.
\end{lemme}
\end{document}
