133
правки
Изменения
Нет описания правки
{{Теорема
|id=th1
|statement=Пусть <tex>B</tex> {{- --}} минимальный по включению барьер <tex>G</tex>, тогда каждая вершина <tex>B</tex> {{--- }} центр лапы в <tex>G</tex>.
|proof=Пусть <tex>x\in B</tex> не является центром лапы. Тогда <tex>x</tex> смежна не более чем с двумя компонентами связности графа <tex>G \setminus B</tex>.<br>
Обозначим <tex>B' = B\setminus x</tex>.<br>
