theorem :: GLIB_001:120

for G being _Graph
for W being Walk of G holds
( W is closed iff W .reverse() is closed )