for G being _Graph
for W being Walk of G st W is V5() holds
for v being Vertex of G st v in W .vertices() holds
not v is isolated