diff --git a/01-regular/regular.tex b/01-regular/regular.tex
index 6cdecd182b27a23cdc409edd32aacdc5b731ed90..053fdd24d63c34829b18c2806d99bac1df3e3c73 100644
--- a/01-regular/regular.tex
+++ b/01-regular/regular.tex
@@ -1142,6 +1142,8 @@ po zpracování slov $\alpha$ a~$\beta$ automat skončí ve stejném stavu (tedy
 = \delta^*(q_0,\beta)$).
 }
 
+\obs{Relace~$\simeq_A$ je ekvivalence.}
+
 \lemma{Nechť $L$ je jazyk automatu~$A$ a $\alpha\simeq_A\beta$. Potom slova $\alpha$
 a $\beta$ nejsou rozlišitelná žádným suffixem, takže platí $\alpha\sim_L\beta$.
 }
@@ -1150,7 +1152,7 @@ a $\beta$ nejsou rozlišitelná žádným suffixem, takže platí $\alpha\sim_L\
 Pokusme se $\alpha$ od~$\beta$ oddělit nějakým suffixem~$\sigma$.
 Automat po zpracování $\alpha$ a~$\beta$ skončí v~tomtéž stavu~$s$.
 Potom $\delta^*(q_0,\alpha\sigma) = \delta^*(q_0,\beta\sigma) = \delta^*(s,\sigma)$,
-takže $\alpha\sigma\in F$ právě tehdy, když $\beta\sigma\in F$. K~oddělení tedy nedošlo.
+takže $\alpha\sigma\in L$ právě tehdy, když $\beta\sigma\in L$. K~oddělení tedy nedošlo.
 \qed
 
 \cor{