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