Изменения

Рассмотрим каркас <tex>T</tex> графа <tex>G</tex> и фундаментальные циклы <tex> C_1 ... C_s </tex> относительно каркаса <tex>T</tex>. В каждом из <tex> С_i </tex> цикле есть ребро <tex>e_i</tex>, которое принадлежит ровно одному из <tex> C_1 ... C_{s} </tex>. Поэтому сумма различных фундаментальных циклов относительно каркаса <tex>T</tex> не является пустым графом, из чего следует, что <tex> C_1 ... C_s </tex> линейно независимы.