let i, j be Element of NAT ; :: thesis: for G being Go-board st i <= len G & j <= width G holds
Int (cell G,i,j) is convex
let G be Go-board; :: thesis: ( i <= len G & j <= width G implies Int (cell G,i,j) is convex )
assume A1: ( i <= len G & j <= width G ) ; :: thesis: Int (cell G,i,j) is convex
set P = Int (cell G,i,j);
A2: Int (cell G,i,j) = (Int (v_strip G,i)) /\ (Int (h_strip G,j)) by TOPS_1:46;
( Int (v_strip G,i) is convex & Int (h_strip G,j) is convex ) by A1, Th15, Th16;
hence Int (cell G,i,j) is convex by A2, Th9; :: thesis: verum