--- a/preamble.tex	Mon Dec 21 21:51:44 2009 +0000
+++ b/preamble.tex	Tue Dec 22 21:18:07 2009 +0000
@@ -61,6 +61,7 @@
 \newtheorem{conj}[prop]{Conjecture}
 \newtheorem{thm}[prop]{Theorem}
 \newtheorem{lem}[prop]{Lemma}
+\newtheorem*{lem*}{Lemma}
 \newtheorem{claim}[prop]{Claim}
 \newtheorem{cor}[prop]{Corollary}
 \newtheorem*{cor*}{Corollary}