Удаление вершин из двусвязного графа с сохранением двусвязности

Пусть $G$ – двусвязный граф, а $W$ – множество, состоящее из внутренних вершин непустых частей-блоков графа $G$ и содержащее не более чем по одной вершине из каждого блока. В работе доказывается, что граф $G-W$ двусвязен. Библ. – 11 назв.