1 2 3 4 5 6 7 8 9
\usepackage{amsthm} \newtheorem{lemma}{Lemma} \begin{lemma}% \label{thm:foo} Foo \end{lemma} \ref{thm:foo}