Kurs:Analysis (Osnabrück 2014-2016)/Satz über implizite Abbildungen/Globale Diffeomorphismen/Induzierte Diffeomorphismen zwischen Faser und Achsenräumen/Fakt/Faktreferenznummer