Изменения
Ну да, тире же не для нас!
{{Теорема
|statement =
Размерность циклического пространства равна <tex>m - n + k</tex>, где <tex>m</tex> - — число ребер графа, <tex>n</tex> - — число вершин, <tex>k</tex> - — число компонент связности.
|proof =
Из теоремы о том, что множество [[Фундаментальные циклы графа|фундаментальных циклов]] относительно любого каркаса <tex>T</tex> графа <tex>G</tex> образует базис циклического пространства <tex>G</tex> следует что размерность циклического пространства равна числу ребер не входящих в каркас. Каркас содержит <tex>n - k</tex> ребер, значит размерность циклического пространства равна <tex>m - n + k</tex>.
