Двусвязный компонент неор. графа — максимальное множество рёбер, такое что любые два ребра принадлежат общему простому циклу.
Удаление мостов из графа раскладывает граф на двусвязные компоненты.
Собственно со вторым утверждением проблемы. Подскажите как доказать, что любой компонент после удаления мостов двусвязен?