theorem Th37: :: JORDAN1B:37

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