theorem Th24: :: GLIB_009:24

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