diff --git a/thesis/DoldKan.tex b/thesis/DoldKan.tex
index 852969d..249cebe 100644
--- a/thesis/DoldKan.tex
+++ b/thesis/DoldKan.tex
@@ -9,12 +9,15 @@
 \usepackage[parfill]{parskip}
 \setlength{\marginparwidth}{2cm}
 
+\theoremstyle{plain}
 \newtheorem{theorem}{Theorem}[section]
-\newtheorem{definition}[theorem]{Definition}
+\newtheorem{proposition}[theorem]{Proposition}
 \newtheorem{lemma}[theorem]{Lemma}
+
+\theoremstyle{definition}
+\newtheorem{definition}[theorem]{Definition}
 \newtheorem{example}[theorem]{Example}
 \newtheorem{exlemma}[theorem]{Example/Lemma}
-\newtheorem{proposition}[theorem]{Proposition}
 
 \input{../thesis/preamble}