theorem Th20:
  i <= len G & j <= width G implies cell(G,i,j) is convex
proof
  assume i <= len G & j <= width G;
  then v_strip(G,i) is convex & h_strip(G,j) is convex by Th18,Th19;
  hence thesis by GOBOARD9:6;
end;
