theorem :: JORDAN1A:49

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