theorem :: GLIB_001:139

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