for G being _Graph
for W being Walk of G
for n being even Element of NAT st n in dom W holds
W . n in the_Edges_of G