Есть такая задачка.
Если

-- граф, то пусть

-- его граф блоков (то есть вершины -- блоки, а ребро проводится, если соответствующие блоки имеют общую вершину), а

-- граф точек сочленения (вершины -- точки сочленения, рёбра проводятся, если соответствующие точки сочленения принадлежат одному блоку).
Так вот, если

-- связный граф с хотя бы одной точкой сочленения, то надо доказать, что

изоморфен

Можно сначала рассмотреть граф

в котором (это нетрудно доказать) все блоки - клики. Как-то надо показать, что каждый такой блок в

в некотором смысле привязан к точке сочленения исходного графа... но как?
Вообще утверждение довольно понятное, но как-то доказать не получается... Подскажите, на что опираться?