Satz 36.12
Kurs:Analysis (Osnabrück 2021-2023)/Teil II/Vorlesung 36
Kompaktheit/R^n/Stetige Funktion/Maximum wird angenommen/Fakt