theorem :: GLIB_001:39

for G being _Graph
for W being Walk of G holds W .cut (1,(len W)) = W by Lm18;