Изменения

Докажем, что любой цикл из циклического пространства графа G является суммой фундаментальных циклов. Пусть Z — цикл циклического пространства графа G, <tex> e_1 ... e_{k} </tex> ребра принадлежащие Z и не принадлежащие T. Рассмотрим граф <tex> F = Z \oplus C_1 \oplus ... \oplus C_{k} </tex>. Каждое из ребер <tex> e_{t} , t = 1,..,k </tex> встречается ровно в двух слагаемых — Z и <tex>C_{k}</tex>. Значит F содержит только ребра из T. Так как <tex> C_1 ... C_{k} </tex> простые циклы, то степени всех их вершин четны, степени вершин Z тоже четны по [[Циклическое пространство графа|лемме]], значит степени всех вершин F четны. Если F непустой граф то в F есть цикл, значит цикл есть и в T. Значит F пустой граф, откуда следует что <tex>Z = C_1 \oplus ... \oplus C_{k} </tex>.

}}