61
правка
Изменения
м
Нет описания правки
Итак пусть граф <tex>G</tex> связен. Рассмотрим связный подграф <tex>T</tex> графа к.р.д. графа <tex>G</tex>. Из [[Граф компонент реберной двусвязности|леммы]] и из связности <tex>T</tex> получаем, что <tex>T</tex> — [[Дерево, эквивалентные определения|дерево]].
Докажем индукцией по числу вершин в графе <tex>T</tex>, что подграф <tex>G'</tex> графа <tex>G</tex> состоящий из к.р.д. и мостов графа <tex>G</tex> принадлежащих графу <tex>T</tex> планарен (далее будем говритьговорить, что <tex>G'</tex> соответствует <tex>T</tex>).
'''База индукции.'''
