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