Изменения

{{Лемма

|about=1

|proof=Чтобы доказать это, просто приведём программу, которая требует <tex>O(n)</tex> дополнительной памяти и работает за конечное время.

<tex>solve(Q_1 x_1 Q_2 x_2 \cdots Q_n x_n \phi(x_1, x_2, \dots, x_n))</tex>