From 677a396e2437c1bbc816df38b94814696d0f91cf Mon Sep 17 00:00:00 2001
From: Bokuan Li <bokuan.li@mail.mcgill.ca>
Date: Wed, 3 Jun 2026 17:13:07 -0400
Subject: [PATCH] Fixed missing citation.

---
 src/op/example/bc.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/op/example/bc.tex b/src/op/example/bc.tex
index 3562291..a0a592a 100644
--- a/src/op/example/bc.tex
+++ b/src/op/example/bc.tex
@@ -17,7 +17,7 @@
 
     is a homeomorphism. Under the identification $\beta X = \Omega(BC(X; \complex))$, $\Gamma_{BC(X; \complex)} = \beta$. 
 \end{theorem}
-\begin{proof}
+\begin{proof}{Proof, {{\cite[Theorem I.6.4]{Zhu}}}. }
     Let $\phi \in BC(X; \complex)^* \setminus \ol{E(X)}$, then there exists $\seqf{f_k} \subset BC(X; \complex)$ and $\eps > 0$ such that for every $x \in X$, 
     \[
     f(x) = \sum_{k = 1}^n |f_k(x) - \dpn{f_k, \phi}{BC(X; \complex)}|^2 \ge \eps^2