for G being Go-board holds (G * ((len G),1)) + |[1,(- 1)]| in Int (cell (G,(len G),0))