diff --git a/semester3/ti-compact/parts/04_computability.tex b/semester3/ti-compact/parts/04_computability.tex
index 3cc788b..fea1343 100644
--- a/semester3/ti-compact/parts/04_computability.tex
+++ b/semester3/ti-compact/parts/04_computability.tex
@@ -41,3 +41,6 @@ Since $M$ is a Turing Machine in the canonical ordering of all Turing Machines,
 This however leads to a contradiction, as $w_i \in L_\text{diag} \Longleftrightarrow d_{ii} = 0 \Longleftrightarrow w_i \notin L(M_i)$.
 
 In other words, $w_i$ is in $L_\text{diag}$ if and only if $w_i$ is not in $L(M_i)$, which contradicts our statement above.
+
+\setLabelNumber{theorem}{3}
+\inlinetheorem $L_\text{diag} \notin \mathcal{L}_{RE}$
diff --git a/semester3/ti-compact/ti-compact.pdf b/semester3/ti-compact/ti-compact.pdf
index f119fd1..d0fea01 100644
Binary files a/semester3/ti-compact/ti-compact.pdf and b/semester3/ti-compact/ti-compact.pdf differ