deletions | additions       diff --git a/header.tex b/header.tex  index 967dc47..70e7c73 100644  --- a/header.tex  +++ b/header.tex 
...
\newtheorem{Definition}{Definition}  \newtheorem{Exercise}{Exercise}  \newtheorem{Example}{Example}  \newtheorem{remark}{Remark} \newtheorem{Corollary}{Corollary}