theorem Th12: :: GLIB_003:12

for G being WGraph
for W being Walk of G st W is V5() holds
W .weightSeq() = {}