deletions | additions       diff --git a/section_Definitions_Theorems_Lemmas_and__.tex b/section_Definitions_Theorems_Lemmas_and__.tex  index a9c661b..5f029c0 100644  --- a/section_Definitions_Theorems_Lemmas_and__.tex  +++ b/section_Definitions_Theorems_Lemmas_and__.tex 
...
% ...  % 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}  \begin{proof}. . . \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}  \begin{proof} $\dots$ Proof is left as an exercise to the reader.  \end{proof}