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