diff --git a/tex/CYK_for_CFPQ.tex b/tex/CYK_for_CFPQ.tex
index b6150ec..eceda6e 100644
--- a/tex/CYK_for_CFPQ.tex
+++ b/tex/CYK_for_CFPQ.tex
@@ -44,7 +44,7 @@ \section{Алгоритм CYK}\label{sect:lin_CYK}
 Далее используем динамику: на шаге $m > 1$ предполагаем, что ячейки матрицы $M[i', j', A]$ заполнены для всех нетерминалов $A$ и пар $i', j': j' - i' < m$.
 Тогда можно заполнить ячейки матрицы $M[i, j, A] \text{, где } j - i = m$ следующим образом:
 
-\[ M[i, j, A] = \bigvee_{A \to B C}^{}{\bigvee_{k=i}^{j-1}{M[i, k, B] \wedge M[k, j, C]}} \]
+\[ M[i, j, A] = \bigvee_{A \to B C}^{}{\bigvee_{k=i}^{j-1}{M[i, k, B] \wedge M[k+1, j, C]}} \]
 
 По итогу работы алгоритма значение в ячейке $M[0, |\omega|, S]$, где $S$ --- стартовый нетерминал грамматики, отвечает на вопрос о выводимости цепочки $\omega$ в грамматике.