theorem Th16: :: GOBOARD9:17

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