theorem :: JORDAN22:4

for C being Simple_closed_curve
for i being Nat holds
( (Lower_Appr C) . i is compact & (Lower_Appr C) . i is connected )