theorem Th38: :: JORDAN4:38

for f being constant standard special_circular_sequence
for i2 being Nat st 1 <= i2 & i2 + 1 < len f holds
f /^ i2 is being_S-Seq