Изменения
→LCA
|proof=Пусть пути не пересекаются. Предположим, что LCA не равны. Значит существует вершина, на пути от <tex>a</tex> к <tex>A</tex>, являющаяся LCA. Но LCA должен принадлежать двум путям. Но пути на пересекаются. Тем самым пришли к противоречию.
Рассмотрим случай, когда пути пересекаются. Пути не могут пересекайся пересекаться более, чем в одной вершине. В данном случае корень одного из путей является вершиной другого. LCA должен принадлежать двум путям, значит именно этот корень и будет LCA.
}}
