for G being _Graph
for v being Vertex of G
for W being Walk of G st W is_Walk_from v,v holds
( W is minlength iff W = G .walkOf v )