
theorem Th33:
  for G be Go-board for f be FinSequence of TOP-REAL 2 st f
is_sequence_on G & f is special for i,j be Nat st i <= len G & j <=
  width G holds Int cell(G,i,j) c= (L~f)`
by JORDAN9:14,SUBSET_1:23;
