Satz 36.9
Kurs:Analysis (Osnabrück 2014-2016)/Teil II/Vorlesung 36
Kompaktheit/R^n/Charakterisierung mit konvergenten Teilfolgen/Fakt