for f being non constant standard special_circular_sequence
for i, j being Nat st i >= 1 & j >= 1 & i + j = len f holds
left_cell ((Rev f),i) = right_cell (f,j)