deletions | additions       diff --git a/section_AMS_Definitions_Theorems_Lemmas__.tex b/section_AMS_Definitions_Theorems_Lemmas__.tex  index c5c892d..158e5e6 100644  --- a/section_AMS_Definitions_Theorems_Lemmas__.tex  +++ b/section_AMS_Definitions_Theorems_Lemmas__.tex 
...
\begin{proof}  Proof is left as an exercise to the reader.  \end{proof}