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