Kurs:Analysis (Osnabrück 2013-2015)/Satz über implizite Abbildungen/Faser ist Mannigfaltigkeit/Fakt/Faktreferenznummer