theorem Th37: :: JORDAN4:37

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