theorem Th11: :: GOBOARD6:11

for i, j being Nat
for G being Go-board st 1 <= i & i < len G & 1 <= j & j < width G holds
(G * (i,j)) + (G * ((i + 1),(j + 1))) = (G * (i,(j + 1))) + (G * ((i + 1),j))