theorem
  for P being Subset of TOP-REAL 2,p1,p2
  being Point of TOP-REAL 2 st P is_an_arc_of p1,p2 holds P is closed
  by COMPTS_1:7,JORDAN5A:1;
