66
правок
Изменения
м
Нет описания правки
{{Утверждение
|statement=Среди ${x_i}$ четное число единиц $\Leftrightarrow$ найдется двойственная пара, элементы которой имеют одинаковое количество самостоятельных единиц. (Здесь, тоже присутствует термин '''самостоятельная единица''', поэтому и здесь в этом утверждении $x_0$ его не рассматриваем)
|proof=
Пусть $A_i$ {{---}} множество аргументов $s_i$ с отрицанием, $B_i$ {{---}} без отрицания. Оба множества по условию мощности $m$.
