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