theorem :: JORDAN9:32

for C being non empty compact non horizontal non vertical Subset of (TOP-REAL 2) st C is connected holds
for n being Nat holds N-min (L~ (Cage (C,n))) = (Cage (C,n)) /. 1