reserve r,lambda for Real,
  i,j,n for Nat;
reserve p,p1,p2,q1,q2 for Point of TOP-REAL 2,
  P, P1 for Subset of TOP-REAL 2;
reserve T for TopSpace;
reserve f,f1,f2,h for FinSequence of TOP-REAL 2;

theorem Th28:
  P is being_S-P_arc implies ex p1,p2 st P is_an_arc_of p1,p2
proof
  assume P is being_S-P_arc;
  then consider h such that
A1: h is being_S-Seq and
A2: P = L~h;
  take h/.1, h/.len h;
  thus thesis by A1,A2,Th25;
end;
