for P being Subset of (TOP-REAL 2) st P is being_S-P_arc holds
ex p1, p2 being Point of (TOP-REAL 2) st P is_an_arc_of p1,p2