for D being Simple_closed_curve
for C being closed Subset of (TOP-REAL 2) st C c< D holds
ex p1, p2 being Point of (TOP-REAL 2) ex B being Subset of (TOP-REAL 2) st
( B is_an_arc_of p1,p2 & C c= B & B c= D )