theorem Th13: :: JORDAN11:13

for C being being_simple_closed_curve Subset of (TOP-REAL 2)
for p, q being Point of (TOP-REAL 2) st q in UBD C & p in BDD C holds
dist (q,C) < dist (q,p)