theorem Th29: :: JORDAN14:29

for G being Go-board
for f being FinSequence of (TOP-REAL 2)
for i, j being Nat st f is_sequence_on G & f is special & i <= len G & j <= width G holds
(cell (G,i,j)) \ (L~ f) is connected