Изменения
→Определение
Рассмотрим <tex> x \in C </tex>.
Рассмотрим граф <tex> G_1(V_1,E_1) </tex> где <tex> E_1 </tex> {{---}} множество ребер, таких что на соответствующих местах вектора <tex> x </tex> стоят единиц, а <tex> V_1 </tex> {{---}} <tex> = V(G) </tex> .
В силу определения обобщенного цикла <tex> \forall v : v \in V_1 ~ deg(v) \equiv 0(mod~2) </tex>.
