theorem Th33: :: JORDAN1B:33
for G being Go-board
for j being Nat st j <= width G holds
not cell (G,0,j) is bounded