theorem Th24:
  i<=len G & j<=width G implies cell(G,i,j) is non empty
proof
  assume i<=len G & j<=width G;
  then Int cell(G,i,j) is non empty by GOBOARD9:14;
  hence thesis by TOPS_1:16,XBOOLE_1:3;
end;
