Kurs:Analysis (Osnabrück 2021-2023)/Satz über implizite Abbildungen/R/Fakt/Faktreferenznummer