Изменения
Нет описания правки
<math>\exists R_1 \colon \langle x, y_1 \rangle \in L_f \Leftrightarrow \forall y_2 \exists y_3 \ldots Q y_{n+1} R_1(\overline{x, y_1}, y_2 \ldots y_{n+1})</math>, где переменные <math>x</math> и <math>y_1</math> в этой формуле представляют собой одну переменную.
Получается, что <math>x \in L \Leftrightarrow \exists y_1 \forall y_2 \ldots Q y_{n+1} R_1(\overline{x, y_1}, y_2 \ldots y_{n+1})</math>, откуда следует <math>L \in \Sigma_{n+1} \Rightarrow L \in \Sigma_n</math>, что и требовалось доказать.
