theorem :: GLIB_001:124

for G being _Graph
for W being DWalk of G
for m, n being Element of NAT holds W .cut (m,n) is directed ;