theorem :: JORDAN1:46

for p, q being Point of (TOP-REAL 2) holds (LSeg (p,q)) \ {p,q} is convex