diff --git a/theoremstyles.tex b/theoremstyles.tex
index ead59e4585f34ca4b0c490d5995052cd51c3b382..cd3fd95f72eaf8a801714a6a8d69906957ee7e28 100644
--- a/theoremstyles.tex
+++ b/theoremstyles.tex
@@ -3,6 +3,7 @@
 \newtheorem{theorem}{Theorem}[section]
 \newtheorem{corollary}{Corollary}[section]
 \newtheorem{lemma}{Lemma}[section]
+\newtheorem{proposition}{Proposition}[section]
 \newtheorem{example}{Example}[section]
 
 \theoremstyle{definition}