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