theorem :: GLIB_001:149

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