theorem
  R is being_Region & p in R & P={q: q=p or ex P1 being Subset of
  TOP-REAL 2 st P1 is_S-P_arc_joining p,q & P1 c=R} implies R = P
by Th27,Th26;
