\newtheorem{theorem}{Theorem} \newtheorem{corollary}{Corollary} \newtheorem{conjecture}{Conjecture} \newtheorem{lemma}{Lemma} \newtheorem{proposition}{Proposition} \newtheorem{axiom}{Axiom} \newtheorem{remark}{Remark} \newtheorem{example}{Example} \newtheorem{exercise}{Exercise} \newtheorem{definition}{Definition}