Изменения

}}

Показатели в формуле раногового многочлена тоже имеют некоторый смысл. Величина <tex> \rho (E) - \rho (A) </tex> равна <tex> c(G(A)) - c(G) </tex>, т.е. приросту числа компонент связности за счёт перехода к множеству рёбер <tex> A </tex>. Мы будем обозначать эту величину через <tex> \rho ^{*}(A) </tex> и называть числом ''важных'' для <tex> A </tex> рёбер. (Их важно добавить к <tex> A </tex>, чтобы получилось столько же компонент связности, сколько было изначально). <br>

Величину <tex> |A| - \rho (A) </tex> будем называть числом ''лишних'' ребёр: именно столько рёбер можно выкинуть из множества <tex> A </tex>, не меняя число компонент связности. Обозначать эту величину будем через <tex> \overline{\rho} (A)</tex>.

Далее докажем следующую техническую лемму: