theorem Th2: :: JORDAN22:2

for C being Simple_closed_curve
for i being Nat holds (Lower_Appr C) . i c= Cl (RightComp (Cage (C,0)))