for G being _Graph
for W1, W2 being Walk of G st W2 is V5() holds
W1 .append W2 = W1