--- a/Quotient-Paper/document/llncs.cls	Mon Jun 14 19:03:34 2010 +0200
+++ b/Quotient-Paper/document/llncs.cls	Tue Jun 15 02:03:18 2010 +0200
@@ -1122,7 +1122,7 @@
 \spn@wtheorem{note}{Note}{\itshape}{\rmfamily}
 \spn@wtheorem{problem}{Problem}{\itshape}{\rmfamily}
 \spn@wtheorem{property}{Property}{\itshape}{\rmfamily}
-\spn@wtheorem{proposition}{Proposition}{\bfseries}{\itshape}
+\spn@wtheorem{proposition}{Proposition}{\bfseries}{\rmfamily}
 \spn@wtheorem{question}{Question}{\itshape}{\rmfamily}
 \spn@wtheorem{solution}{Solution}{\itshape}{\rmfamily}
 \spn@wtheorem{remark}{Remark}{\itshape}{\rmfamily}