for D being Simple_closed_curve
for p, q being Point of (TOP-REAL 2) st p in D & q in D holds
(TOP-REAL 2) | (D \ {p}),(TOP-REAL 2) | (D \ {q}) are_homeomorphic