Изменения
→Теорема о мощности минимального вершинного покрытия и максимального паросочетания
*Из вершин <tex>L^-</tex> в вершины <tex>R^+</tex>.
Очевидно, что ребер из <tex>L^+</tex> в <tex>R^-</tex> и из из <tex>R^+</tex> в <tex>L^-</tex> быть не может.
Ребер из из <tex>R^-</tex> в <tex>L^+</tex> быть не может, т.к. если такое ребро <tex>uv</tex> существует, то оно — ребро паросочетания. Тогда вершина <tex>v</tex> насыщена паросочетанием. Но т.к. <tex>v \in L^+</tex>, то в нее можно дойти из какой-то ненасыщенной вершины левой доли. Значит, существует ребро <tex>wv, w \in R^+</tex>. Но тогда <tex>v</tex> инцидентны два ребра из паросочетания. Противоречие.
