theorem Th24: :: JORDAN1A:24

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