Изменения
→Доказательство
<tex>\exists R_2 \langle x, y_1 \rangle \in L_g \Leftrightarrow \exists y_2 \forall y_3 \ldots Q y_{i+1} R_2(x, y_1, y_2 \ldots y_{i+1})</tex>.
<tex>x \in L \Leftrightarrow \exists \langle y_1 , y_2 \exists y_2 rangle \forall y_3 \ldots Q y_{i+1} R_2(x, \overline{y_1, y_2} \ldots y_{i+1})</tex>.
Значит, <tex>L \in \Sigma_i</tex>, что и требовалось доказать.
