theorem Th38: :: SPRECT_2:38

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