for f being non constant standard special_circular_sequence
for k being Nat st 1 <= k & k + 1 <= len f holds
( left_cell (f,k,(GoB f)) is convex & right_cell (f,k,(GoB f)) is convex )