let i, j be Nat; :: thesis: for G being Go-board st i <= len G & j <= width G holds
cell (G,i,j) is connected
let G be Go-board; :: thesis: ( i <= len G & j <= width G implies cell (G,i,j) is connected )
assume A1: ( i <= len G & j <= width G ) ; :: thesis: cell (G,i,j) is connected
then Int (cell (G,i,j)) is convex by GOBOARD9:17;
then Cl (Int (cell (G,i,j))) is connected by CONNSP_1:19;
hence cell (G,i,j) is connected by A1, GOBRD11:35; :: thesis: verum