theorem Th7: :: GRAPH_2:7

for p being FinSequence holds (1,(len p)) -cut p = p