theorem Th8: :: GOBOARD9:9

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 (f,i) = right_cell ((Rev f),j)