Изменения

Определим пространство <tex> T </tex>, как пространство элементами которого являются наборы ребер из которых можно составить несколько простих реберно непересекающихся циклов.

{{Лемма

|proof=

Рассмотрим <tex> x \in C </tex>.

Если рассмотреть набор реберно непересекающихся простых циклов и взять все ребра, принадлежащие этим циклам, то им можно сопоставить обобщенный цикл (в соответствующие места поставить <tex> 1 </tex>, во все остальные <tex> 0 </tex>).

}}

== Размерность линейного пространства обобщенных циклов ==

{{Теорема

|statement=