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