theorem Th1:
  for i,j st i<=len GoB f & j<=width GoB f holds Int cell(GoB f,i,j )c=(L~f)`
    by GOBOARD7:12,SUBSET_1:23;
