for G being real-weighted WGraph
for W being Walk of G st W is V5() holds
W .cost() = 0 by Th12, RVSUM_1:72;