
\documentclass{article}
\usepackage[body={8cm,8cm}]{geometry}
\usepackage[thmmarks]{ntheorem}

{\theoremstyle{changebreak}
\theoremindent0.5cm
\theoremnumbering{greek}
\newtheorem{Lemma}{Lemme}}

{\theoremheaderfont{\normalfont%
    \bfseries}
\theorembodyfont{\slshape}
\theoremsymbol{\ensuremath{%  
    \diamondsuit}}
\theoremseparator{:}
\newtheorem{Theorem}{Théorème}}

{\theoremheaderfont{\sc}%
    \theorembodyfont{\upshape}
\theoremstyle{nonumberplain}
\theoremseparator{}
\theoremsymbol{\rule{1ex}{1ex}}
\newtheorem{Proof}{Preuve}}
\pagestyle{empty}
\begin{document}

\begin{Theorem}[Théorème complexe]
Voici l'énoncé de mon théorème.

\begin{Lemma}[Equation]
\label{lem=equ}
   Un lemme important~:
\begin{equation}
  0+0=\mbox{la t\^ete à toto}
\end{equation}
\end{Lemma}

\begin{Proof}[de rien]
  D'après le lemme $\alpha$,
  le théorème est évident.
\end{Proof}
Fin du théorème.
\end{Theorem}
\end{document}
