Любое непрерывное взаимно однозначное отображение компактного пространства в хаусдорфово пространство является гомеоморфизмом.
ɭʲu"bˈojɪ nʲiprʲirˈyvnʌjɪ vzaˈimnʌ ʌdnʌznˈɑtʃʲnʌjɪ ʌtʌbraʒˈɛnʲijɪ kʌmpˈɑktnʌvʌ prʌstrˈɑnstva f xʌuzdˈorfʌvʌ prʌstrˈɑnstvʌ javɭʲˈɑjitsʌ ɡʌmʲiʌmˈorfʲizmʌm.