move uses

blueprint/src/chapter/tight.tex

@@ -52,6 +52,7 @@ \section{Prokhorov's theorem}
 \end{proof}
 
 \begin{lemma}\label{lem:prokhorov_aux1}
+\uses{def:tight}
 Let $E$ be a complete separable metric space and let $S \subseteq \mathcal P(E)$. If the closure of $S$ is compact, then $S$ is tight.
 \end{lemma}
 
@@ -66,7 +67,6 @@ \section{Prokhorov's theorem}
 \end{proof}
 
 \begin{theorem}[Prokhorov's theorem]\label{thm:prokhorov}
-\uses{def:tight}
 Let $E$ be a complete separable metric space and let $S \subseteq \mathcal P(E)$. Then the following are equivalent:
 \begin{enumerate}
 	\item $S$ is tight.