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;
