theorem :: TOPREAL6:77

[:R^1,R^1:], TOP-REAL 2 are_homeomorphic