theorem Th20: :: JORDAN12:20

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