theorem Th22: :: GLIB_001:23

for G being _Graph
for W being Walk of G
for x, y being object holds
( W is_Walk_from x,y iff W .reverse() is_Walk_from y,x )