theorem Th39: :: JORDAN1B:39

for C being connected compact non horizontal non vertical Subset of (TOP-REAL 2)
for i, j, n being Nat st i <= len (Gauge (C,n)) & j <= width (Gauge (C,n)) & cell ((Gauge (C,n)),i,j) c= BDD C holds
j + 1 < width (Gauge (C,n))