minor edits

src/sections/proof-of-main-theorem.tex

@@ -46,13 +46,10 @@ \subsection*{Proof of theorem ~\ref{main_theorem}}
 \]
 Now, let's express the nominator of ~\eqref{eq:proof1} as follows
 \begin{align*}
-    \\
     \polynomialP{m}{\sigma(b)}{\sigma(x)} - \polynomialP{m}{b}{x}
     &= \polynomialP{m}{b}{x}^{\Delta}_{x} (x, \sigma(b)) \cdot \Delta x + \polynomialP{m}{b}{x}^{\Delta}_{b} (x,b) \cdot \Delta b \\
-    \\
     \polynomialP{m}{\sigma(b)}{\sigma(x)} - \polynomialP{m}{b}{x}
     &= \polynomialP{m}{b}{x}^{\Delta}_{x} (x, \sigma(b)) \cdot (\sigma(x) - x) + \polynomialP{m}{b}{x}^{\Delta}_{b} (x,b) \cdot (\sigma(b) - b)
-    \\
 \end{align*}
 We can collapse the terms $(\sigma(x) - x), \; (\sigma(b) - b)$ in above expressions, as $b\to x$.
 Therefore,
@@ -70,4 +67,4 @@ \subsection*{Proof of theorem ~\ref{main_theorem}}
     + \pTsDerivative{\polynomialP{m}{b}{x}}{b} \bigg |_{x = t, \; b = t}
 \end{equation*}
 
-This completes the proof. \qed
+This completes the proof. \qed