Wegen Fakt ist auch die Umkehrabbildung φ − 1 {\displaystyle {}\varphi ^{-1}} stetig. Die Holomorphe der Umkehrabbildung folgt mit Fakt (5) aus der lokalen Version Fakt.