Small fixes to sections 4 and 5

1 files changed, 2 insertions, 2 deletions

diff --git a/main.tex b/main.tex
index 7e9fe02..9891fb3 100644
--- a/main.tex
+++ b/main.tex
@@ -151,9 +151,9 @@ We can now state our main result:
         \varepsilon\\
         & \simeq 12.98V(S^*) + \varepsilon
     \end{align*}
-    The value of the constant $C$ is given by \eqref{eq:constant} in
-    Section~\ref{sec:proofofmainthm}.
 \end{theorem}
+The value of the constant $C$ is given by \eqref{eq:constant} in
+Section~\ref{sec:proofofmainthm}.
 
 \fussy
 In addition, we prove the following simple lower bound.