diff --git a/src/topology/main/lch.tex b/src/topology/main/lch.tex
index 72c8d52..727a148 100644
--- a/src/topology/main/lch.tex
+++ b/src/topology/main/lch.tex
@@ -38,7 +38,7 @@
 
 \begin{lemma}[Urysohn's Lemma (LCH)]
 \label{lemma:lch-urysohn}
-    Let $X$ be a LCH space, $K \subset X$ be compact, and $U \in \cn(K)$, then there exists $f \in C_c(X; [0, 1])$ such that $\supp{f} \subset U$.
+    Let $X$ be a LCH space, $K \subset X$ be compact, and $U \in \cn(K)$, then there exists $F \in C_c(X; [0, 1])$ such that $\supp{F} \subset U$.
 \end{lemma}
 \begin{proof}[Proof, {{\cite[Lemma 4.32]{Folland}}}. ]
     By \autoref{lemma:lch-compact-neighbour}, there exists $V, W \in \cn^o(K)$ precompact such that