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