theorem Th35: :: JORDAN1B:35

for C being connected compact non horizontal non vertical Subset of (TOP-REAL 2)
for j, n being Nat st j <= width (Gauge (C,n)) holds
cell ((Gauge (C,n)),0,j) c= UBD C