Kurs:Analysis/Kompaktheit/R^n/Charakterisierung mit konvergenten Teilfolgen/Fakt/Faktreferenznummer

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