theorem Th34: :: JORDAN1B:34

for G being Go-board
for i being Nat st i <= width G holds
not cell (G,(len G),i) is bounded