for p being Point of (Tunit_circle 2) holds Topen_unit_circle p, I(01) are_homeomorphic