diff --git a/src/fa/lc/hahn-banach.tex b/src/fa/lc/hahn-banach.tex
index f4a01f3..82c660b 100644
--- a/src/fa/lc/hahn-banach.tex
+++ b/src/fa/lc/hahn-banach.tex
@@ -37,7 +37,7 @@
 
 \begin{theorem}[Hahn-Banach, Analytic Form {{\cite[Theorem 5.6, 5.7]{Folland}}}]
 \label{theorem:hahn-banach}
-    Let $E$ be a vector space over $K \in \RC$, $\rho: E \to \real$ be a sublinear functional, $F \subsetneq E$ be a subspace,
+    Let $E$ be a vector space over $K \in \RC$, $\rho: E \to \real$ be a sublinear functional, and $F \subsetneq E$ be a subspace, then
     \begin{enumerate}
         \item For any $\phi \in \hom(F; \real)$ with $\phi \le \rho|_F$, there exists $\Phi \in \hom(E; \real)$ such that $\Phi \le \rho$ and $\Phi|_F = \phi$.
         \item If $\rho$ is a seminorm, then for any $\phi \in \hom(F; \complex)$ with $\abs{\phi} \le \rho|_F$, there exists $\Phi \in \hom(E; \complex)$ such that $\abs{\Phi} \le \rho$ and $\Phi|_F = \phi$.