let i, j be Element of 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 Cl (Int (cell (G,i,j))) is connected by CONNSP_1:19, GOBOARD9:18;
hence cell (G,i,j) is connected by A1, GOBRD11:35; :: thesis: verum