Kurs:Zahlentheorie (Osnabrück 2016-2017)/Kompaktheit/R^n/Stetige Funktion/Maximum wird angenommen/Fakt/Faktreferenznummer

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