diff --git a/semester3/ti/parts/04_computability/01_reduction.tex b/semester3/ti/parts/04_computability/01_reduction.tex
index c35880a..545ac21 100644
--- a/semester3/ti/parts/04_computability/01_reduction.tex
+++ b/semester3/ti/parts/04_computability/01_reduction.tex
@@ -51,7 +51,7 @@ Wenn jetzt aber $M$ unendlich lange auf $x$ arbeitet, so wissen wir nicht, ob wi
 Dies scheint vorerst nicht ein allzu grosses Problem zu sein, jedoch besagt das nächste Resultat, dass es keinen Algorithmus gibt,
 der testen kann, ob ein gegebenes Programm immer terminiert.
 
-\inlinetheorem $L_H \in \cL_R$
+\inlinetheorem $L_H \notin \cL_R$
 \inlineproof Auf Seiten 140 - 142 (153 - 155 im PDF)
 
 Betrachten wir die Sprache $\lempty = \{ \text{Kod}(M) \divides L(M) = \emptyset \}$, die die Kodierungen aller Turingmaschinen enthält,