theorem Th10: :: GOBOARD9:11

for f being non constant standard special_circular_sequence
for k being Nat st 1 <= k & k + 1 <= len f holds
ex i, j being Nat st
( i <= len (GoB f) & j <= width (GoB f) & cell ((GoB f),i,j) = left_cell (f,k) )