deletions | additions       diff --git a/section_Definitions_Theorems_Lemmas_and__.tex b/section_Definitions_Theorems_Lemmas_and__.tex  index df9a02a..a1e5fe9 100644  --- a/section_Definitions_Theorems_Lemmas_and__.tex  +++ b/section_Definitions_Theorems_Lemmas_and__.tex 
...
\end{theorem}  \begin{proof}  Proof is left as an exercise to the reader.  \end{proof}