theorem Th12: :: GLIB_003:12

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