for D being Simple_closed_curve holds (TOP-REAL 2) | R^2-unit_square,(TOP-REAL 2) | D are_homeomorphic