theorem :: JORDAN16:6

for C being Simple_closed_curve
for p, q being Point of (TOP-REAL 2) holds Segment (p,q,C) c= C