theorem :: JORDAN1H:48

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
RightComp (Cage (C,j)) c= RightComp (Cage (C,i))