Изменения

<tex>G</tex> {{---}} '''сводимый граф''' если он не является ни полунесводимым, ни сводимым.

}}

{{Теорема|

id=th2|

Сошлемся на теорему <tex>(3)</tex> аналогичного результата<ref>A. L. Dulmage and N. S. Mendelsohn, 1958, pp. 517-534.</ref> для двудольных графов. То же самое доказательство можно перенести на произвольный граф.

}}

{{Теорема|