theorem Th13: :: GOBOARD9:14

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