theorem :: GLIB_001:92

for G being _Graph
for W being Walk of G holds W .vertices() = (W .reverse()) .vertices()