theorem Th28: :: JORDAN9:28

for C being non empty compact non horizontal non vertical Subset of (TOP-REAL 2)
for n being Nat ex i being Nat st
( 1 <= i & i + 1 <= len (Gauge (C,n)) & N-min C in cell ((Gauge (C,n)),i,((width (Gauge (C,n))) -' 1)) & N-min C <> (Gauge (C,n)) * (i,((width (Gauge (C,n))) -' 1)) )