To prove the theorem, we constructed a directed path from vertex u to vertex v that avoids all forbidden edges.