Dfs Finds Topological Order