for S, T being being_simple_closed_curve SubSpace of TOP-REAL 2 holds S,T are_homeomorphic