--- a/preamble.tex	Fri Jun 12 11:56:20 2009 +0000
+++ b/preamble.tex	Wed Jun 17 00:35:51 2009 +0000
@@ -64,6 +64,7 @@
 \newtheorem{conj}[prop]{Conjecture}
 \newtheorem{thm}[prop]{Theorem}
 \newtheorem{lem}[prop]{Lemma}
+\newtheorem{claim}[prop]{Claim}
 \newtheorem{lemma}[prop]{Lemma}
 \newtheorem{cor}[prop]{Corollary}
 \newtheorem*{cor*}{Corollary}