Изменения
→Существование и единственность
}}
{{Утверждение|statement=Ранг множества <tex> А A </tex> равен количеству рёбер в любом остовном лесе графа <tex> G(A) </tex>. (Под остовным лесом здесь понимается объединение остовных деревьев всех компонент связности, т.е. такой ациклический граф <tex> G(B) </tex>, что <tex> B \subset A </tex> и <tex> c(G(B)) = c(G(A)) </tex>).
|proof=
Действительно.
}}
