Kurs:Analysis/Teilmenge/R^n/Sternförmig/Gradientenfeld/Charakterisierung/Fakt/Faktreferenznummer

Satz 58.9 (Analysis (Osnabrück 2021-2023))