Then DFS will discover a vertex adjacent to that one: