Изменения

== Вспомогательные утверждения ==

Далее исключим $x_0$ из рассмотрения аргументов $s_i$.

{{Лемма

|statement=Каждой $s_i$ можно однозначно сопоставить в пару такую $s_j$, что все переменные с отрицанием из $s_i$ в $s_j$ будут без отрицания и наоборот.