theorem Th11: :: JORDAN1E:11

for C being compact non horizontal non vertical Subset of (TOP-REAL 2)
for n being Nat holds Rotate ((Cage (C,n)),(W-min (L~ (Cage (C,n))))) = (Upper_Seq (C,n)) ^' (Lower_Seq (C,n))