theorem Th105: :: GLIB_001:107

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