diff --git a/src/fa/norm/normed.tex b/src/fa/norm/normed.tex
index 0557e26..ff8464f 100644
--- a/src/fa/norm/normed.tex
+++ b/src/fa/norm/normed.tex
@@ -96,13 +96,3 @@
 \end{proof}
 
 
-% TODO: Replace this with a more general version involving polars in the future. 
-\begin{theorem}[Alaoglu's Theorem]
-\label{theorem:alaoglu}
-    Let $E$ be a normed vector space over $K \in \RC$, then $B^* = \bracsn{\phi \in E^*| \norm{x}_{E^*} \le 1}$ is compact in the weak*-topology. 
-\end{theorem}
-\begin{proof}
-    For each $x \in E$, $I_x = \bracsn{\dpn{x, \phi}{E}|\phi \in B^*}$ is compact. By \autoref{proposition:operator-space-completeness}, the closure of $B^*$ in $\prod_{x \in E}I_x$ is a subset of $\hom(E; K)$. Since $B^*$ is bounded, $I_x \subset \overline{B_K(0, 1)}$ for all $x \in E$, so the closure of $B^*$ is contained in $B^*$. By \autoref{theorem:tychonoff}, $\prod_{x \in E}I_x$ is compact. Therefore $B^*$ is compact with respect to the weak*-topology.
-\end{proof}
-
-
diff --git a/src/fa/tvs/equicontinuous.tex b/src/fa/tvs/equicontinuous.tex
index db8edef..9ce5a65 100644
--- a/src/fa/tvs/equicontinuous.tex
+++ b/src/fa/tvs/equicontinuous.tex
@@ -110,5 +110,20 @@
     Let $\seq{(x_n, y_n)} \subset E \times F$ and $\seq{\lambda_n} \subset \alg$ such that $(x_n, y_n) \to 0$ as $n \to \infty$. Since $\seq{y_n}$ is convergent, for each $n \in \natp$ and $x \in E$, $\bracsn{\lambda_n(x, y_n)|n \in \natp}$ is bounded by (E) and \autoref{proposition:equicontinuous-net}. By (B) or (B') and the \hyperref[Banach-Steinhaus Theorem]{theorem:banach-steinhaus}, $\bracsn{\lambda_n(\cdot, y_n)|n \in \natp}$ is equicontinuous, and $\lambda_n(x_n, y_n) \to 0$ as $n \to \infty$ by \autoref{proposition:equicontinuous-net}. By (M) and \autoref{proposition:equicontinuous-net}, $\alg$ is equicontinuous at $0$, and hence equicontinuous by \autoref{lemma:equicontinuous-bilinear}. 
 \end{proof}
 
+% TODO: Replace this with a more general version involving polars in the future. 
+\begin{theorem}[Banach-Alaoglu]
+\label{theorem:alaoglu}
+    Let $E$ be a locally convex space over $K \in \RC$ and $\alg \subset E^*$ be equicontinuous, then $\alg$ is precompact with respect to $\sigma(E^*, E)$.
+\end{theorem}
+\begin{proof}
+    For each $x \in E$, $\alg(x) = \bracsn{\dpn{x, \phi}{E}|\phi \in \alg}$ is precompact by \autoref{proposition:equicontinuous-bounded}. By the \hyperref[Arzelà-Ascoli Theorem]{theorem:arzela-ascoli}, 
+    \begin{enumerate}
+        \item[(C2)] The $\sigma(E^*, E)$-closure of $\alg$ in $\prod_{x \in E}K$ is equicontinuous. 
+        \item[(C3)] The $\sigma(E^*, E)$-closure of $\alg$ in $\prod_{x \in E}K$ is compact. 
+    \end{enumerate}
+
+    By \autoref{proposition:operator-space-completeness}, the $\sigma(E^*, E)$-closure of $\alg$ in $\prod_{x \in E}\ol{\alg(x)}$ is a subset of $\hom(E; K)$. Hence the $\sigma(E^*, E)$-closure of $\alg$ in $E^*$ is compact. 
+\end{proof}
+