Изменения

1)<tex>enter(v) </tex> <br> <br>

12)<tex>enter(p)</tex>, <tex>(v, p)</tex> - обратное ребро <br>1)<tex>p</tex> достижима из <tex>v</tex> по одному обратному ребру, значит величина <tex>ret(v)</tex> не больше <tex>enter(p)</tex> <br>

Так как вершина <tex>u</tex> - потомок <tex>v</tex>, то обратное ребро из ее поддерева является обратным ребром из поддерева <tex>v</tex> <br>