theorem Th34: :: TOPREALA:34

R2Homeomorphism is being_homeomorphism