diff --git a/src/dg/complex/derivative.tex b/src/dg/complex/derivative.tex
index c7bbe7d..fab4f19 100644
--- a/src/dg/complex/derivative.tex
+++ b/src/dg/complex/derivative.tex
@@ -277,7 +277,7 @@
 
     (4) $\Rightarrow$ (1): By \autoref{theorem:termwise-differentiation}. 
 
-    (5) $\Rightarrow$ (3): By the equivalence of the prior points, for any $\phi \in E^*$, $\phi \circ f$ satisfies (3). By the \autoref[Hahn-Banach Theorem]{proposition:hahn-banach-utility}, $f$ also satisfies (3). 
+    (5) $\Rightarrow$ (3): By the equivalence of the prior points, for any $\phi \in E^*$, $\phi \circ f$ satisfies (3). By the \hyperref[Hahn-Banach Theorem]{proposition:hahn-banach-utility}, $f$ also satisfies (3). 
 \end{proof}