diff --git a/lection-16.tex b/lection-16.tex
index e779d94..0787058 100644
--- a/lection-16.tex
+++ b/lection-16.tex
@@ -442,7 +442,7 @@
 \begin{dfn}Комбинатор --- лямбда-терм без свободных переменных
 \end{dfn}
 \begin{dfn}[исходная идея Моисея Шейнфинкеля, 1924]$S := \lambda x.\lambda y.\lambda z.x\ z\ (y\ z)$, $K := \lambda x.\lambda y.x$, $I := \lambda x.x$\\
-(verSchmelzung, Konstanz --- исходно <<C>> у Шейнфинкеля, Identit\"at)
+(Verschmelzung, Konstanz --- исходно <<C>> у Шейнфинкеля, Identit\"at)
 \end{dfn}
 
 \begin{thm}Пусть $N$ --- некоторый замкнутый лямбда-терм. Тогда найдётся выражение $M$, состоящее из комбинаторов $S$,$K$,