theorem Th47: :: JORDAN1H:47

for j, i being Nat
for C being compact non horizontal non vertical Subset of (TOP-REAL 2) st C is connected & i <= j holds
LeftComp (Cage (C,i)) c= LeftComp (Cage (C,j))