theorem :: GLIB_001:145

for G being _Graph
for W being Walk of G st len W <= 3 holds
W is Path-like by Lm69;