for P being Subset of (TOP-REAL 2) st P is being_S-P_arc holds
ex f being Function of I[01],((TOP-REAL 2) | P) st f is being_homeomorphism