Изменения

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