theorem Th37: :: SPRECT_2:37

for f being constant standard special_circular_sequence
for i, j being Nat st i > j & ( ( 1 < j & i <= len f ) or ( 1 <= j & i < len f ) ) holds
mid (f,i,j) is S-Sequence_in_R2