Изменения

'''Смежными листами''' (англ. ''coincident endpoints'') в неориентрированном графе называется такая пара вершин <tex>x, y</tex>, что <tex>\operatorname{deg}x = 1, \operatorname{deg}y = 1</tex>, причём обе вершины имеют общую смежную вершину (другими словами, расстояние между этими вершинами <tex>\rho(x, y) = 2</tex>).

}}

Для доказательства основной теоремы потребуется доказать вспомогательную лемму:

{{Лемма