Kurs:Mathematik (Osnabrück 2009-2011)/Kompaktheit/R^n/Charakterisierung mit konvergenten Teilfolgen/Fakt/Faktreferenznummer