Уважаемые форумчане! Коллеги, помогите, пожалуйста, с переводом этого небольшого текста и с объяснением. Это из теории графов. Буду благодарен всем откликнувшимся.
Вот исходный текст:
Цитата:
Property 2.1. 
for each point

of a graph

.
Proof. We may write

where

indicates summation over the set of unordered pairs of distinct vertices of

.
Now

where

indicates summation over the set of unordered pairs of vertices of

. Then, since

is at most the distance between

and

in

we have the desired inequality.
А вот моей перевод:
Цитата:
Свойство 2.1. 
для каждой вершины

графа G.
Доказательство. Мы можем написать

где

означает суммирование по множеству неупорядоченных пар разных вершин

.
Теперь

где

означает суммирование по множеству неупорядоченных пар вершин графа

. Тогда, с тех пор

есть xxxxxxxxxxxxxxxxxxxxxx расстояние между

и

в
у нас есть желательное равенство.

-- есть подграф, полученный из удалением вершины

и всех инцидентных ей ребер.
Последняя фраза недоступна моему пониманию. Ни в языковом, ни в математическом понимании. Да и вообще само свойство кажется каким то "левым", то есть не похожим на истину. И что такое since ? В текстах оно часто бывает.