deletions | additions       diff --git a/header.tex b/header.tex  index d054fce..70de3d4 100644  --- a/header.tex  +++ b/header.tex 
...
\newtheorem{theorem}{Theorem}  \newtheorem{proof}{Proof}   \newtheorem{definition}{Definition}  \usepackage[dvipsnames,tables]{xcolor}