deletions | additions       diff --git a/section_Definitions_Theorems_Lemmas_and__.tex b/section_Definitions_Theorems_Lemmas_and__.tex  index 6cc50ef..a9c661b 100644  --- a/section_Definitions_Theorems_Lemmas_and__.tex  +++ b/section_Definitions_Theorems_Lemmas_and__.tex 
...
\begin{proof}. . . \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}. . . \begin{proof} $\dots$  \end{proof}