theorem :: GLIB_001:69

for G being _Graph
for v being Vertex of G holds (G .walkOf v) .vertexSeq() = <*v*>