theorem :: GOBRD11:35

for i, j being Nat
for G being Go-board st i <= len G & j <= width G holds
cell (G,i,j) = Cl (Int (cell (G,i,j)))