Lemma¶ Lemma-1 ¶ if we run $dfs(root)$ in a rooted tree, then v is an ancestor of $u$ if and only if $st_v\leq st_u\leq ft_u\leq ft_v$. Lemma-2¶ Comments
¶