for f being V22() 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