Изменения
→Алгоритм построения кодов Прюфера
# Вершина <tex>v</tex> и инцидентное ей ребро удаляются из дерева.
<br>
Полученная последовательность называется '''кодом Прюфера''' ''(англ. Codes PriiferPrüfer code)'' для заданного дерева.
{{Лемма
# Вершина с номером <tex>n</tex> не может быть удалена, следовательно на последнем шаге у неё была смежная вершина, и число <tex>n</tex> встретилось в коде.
# Если вершина не является листом, то у неё на некотором шаге была смежная вершина <tex>-</tex> лист, следовательно номер этой вершины встречается в коде.
# Если вершина является листом с номером меньше <tex>n</tex>, то она была удалена до того, как был удален ее её сосед, следовательно ее её номер не встречается в коде.
Таким образом, номера всех вершин, не являющихся листьями или имеющих номер <tex>n</tex>, встречаются в коде Прюфера, а остальные <tex>-</tex> нет.
