prove: lemma about dfs_forest