Изменения

А значит, <tex>D(G - a) = D(G)</tex>.

}}

{{Теорема

|statement=

Пусть G - граф, <tex>U1,{...},Un</tex> - компоненты связности графа <tex>G(D(G))</tex> , <tex>Di = G(Ui), C = G(C(G))</tex>. тогда:

1) Граф <tex>C</tex> имеет совершенное паросочетание.<br>

2) Графы <tex>D1,{...},Dn</tex> - фактор-критические. <br>

|proof=

* <tex>D(G - A) = D(G),</tex>

* <tex>A(G - A) = \O, </tex>