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