for p, q being Point of (TOP-REAL 2)
for R being Subset of (TOP-REAL 2) st R is being_Region & p in R & q in R & p <> q holds
ex P being Subset of (TOP-REAL 2) st
( P is_S-P_arc_joining p,q & P c= R )