reserve C for Simple_closed_curve,
  P for Subset of TOP-REAL 2,
  p for Point of TOP-REAL 2,
  n for Element of NAT;
reserve D for compact with_the_max_arc Subset of TOP-REAL 2;

theorem Th14:
  Lower_Middle_Point C in C
proof
  Lower_Middle_Point C in Lower_Arc C & Lower_Arc C c= C by JORDAN6:61,66;
  hence thesis;
end;
