diff --git a/Vorlesungen/ThProg/Koinduktion_reduktion.tex b/Vorlesungen/ThProg/Koinduktion_reduktion.tex
index 8d0b83d..941693e 100644
--- a/Vorlesungen/ThProg/Koinduktion_reduktion.tex
+++ b/Vorlesungen/ThProg/Koinduktion_reduktion.tex
@@ -69,7 +69,7 @@
 		\]
 	$\rightarrow$ "R ist Bisimulation" hinschreiben, linke Seite aufloesen\\
 	\[ currentSample(\,sampler(square\:0\:1)(square\:x\:0)) = 0 \]
-	$\rightarrow$ wenn hier am Endde kein Term rauskommt, dann koennen wir einfach die \textbf{rechte Seite bei der normalen Funktion} einsetzen und selbige aufloesen:
+	$\rightarrow$ wenn hier am Ende kein Term rauskommt, dann koennen wir einfach die \textbf{rechte Seite bei der normalen Funktion} einsetzen und selbige aufloesen:
 	\[ currentSample(flat\;0) = 0 \]
 	$\rightarrow$ sehr gut, die rechten Seiten sind gleich wir sind hier also fertig\\ \\
 	\textbf{zweite Bedingung:}