theorem
  for W being Path of G, m, n being Element of NAT holds W.cut(m,n) is
  Path-like;
