theorem :: CHORD:91

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