Изменения
→Теорема
|statement=Полное паросочетание существует тогда и только тогда, когда для любого <tex>A \subset L </tex> выполнено <tex>|A| \leq |N(A)|</tex>.
|proof=
1)Очевидно, что если существует полное паросочетание, то для любого <tex>A \subset L </tex> выполнено <tex>|A| \leq |N(A)|</tex> (У любого подмножества вершин есть по крайней мере столько же соседей).
2)
}}
