text: Пусть G' образуется путём удаления вершины v из графа G и триангуляции грани f, полученной после удаления вершины v. По индукции, граф G' имеет комбинаторно изоморфное вложение с прямолинейными рёбрами, в котором abc является внешней гранью.