deletions | additions       diff --git a/section_Definitions_Theorems_Lemmas_and__.tex b/section_Definitions_Theorems_Lemmas_and__.tex  index 5f029c0..df9a02a 100644  --- a/section_Definitions_Theorems_Lemmas_and__.tex  +++ b/section_Definitions_Theorems_Lemmas_and__.tex 
...
\newtheorem{proof}{Proof}  % ...  % And later use:  \begin{theorem}[Pythagoras] Suppose $a\leq b\leq c$ are the side-lengths of a right triangle.\\ Then $a^2+b^2=c^2$.\end{theorem} $a^2+b^2=c^2$.  \end{theorem}  \begin{proof} Proof is left as an exercise to the reader. \end{proof} \end{lstlisting}  \begin{theorem}[Pythagoras] Suppose $a\leq b\leq c$ are the side-lengths of a right triangle.\\ Then $a^2+b^2=c^2$.\end{theorem} $a^2+b^2=c^2$.  \end{theorem}  \begin{proof} Proof is left as an exercise to the reader. \end{proof}