Изменения

Из процесса построения <tex> \mathrm{straight}\ \mathrm{skeleton} </tex> следует, что он является [[Укладка графа на плоскости#defplanar | планарным графом]]. Ранее уже упоминаласьупоминалось, что он также является [[Дерево, эквивалентные определения#tree |деревом]]. Будем обозначать <tex> \mathrm{straight}\ \mathrm{skeleton} </tex> простого полигона без самопересечений <tex> P </tex>, в котором <tex> n </tex> вершин, как <tex> S(P) </tex>. Тогда справедливы следующие леммы: