diff --git a/inputs/lecture_03.tex b/inputs/lecture_03.tex
index fb71262..7e97364 100644
--- a/inputs/lecture_03.tex
+++ b/inputs/lecture_03.tex
@@ -1,8 +1,7 @@
 \lecture{03}{2023-10–23}{Cantor-Bendixson}
 
 \begin{theorem}[Cantor-Bendixson]
-    \yaref{thm:cantorbendixson}{Cantor-Bendixson}{Cantor-Bendixson}
-
+    \yalabel{thm:cantorbendixson}{Cantor-Bendixson}{Cantor-Bendixson}
     If $A \subseteq  \R$ is closed,
     it is either at most countable or else
     $A$ contains a perfect set.