theorem :: GLIB_003:23

for G being real-weighted WGraph
for W being Walk of G holds W .cost() = (W .reverse()) .cost()