CF2002D2 告诉我们如果 $fa(dfs_{i+1})$ 是 $dfs_i$ 的祖先，那么满足 $dfs$ 是合法的。

那么 $dfn$ 序有没有类似的性质呢？