Kurs:Analysis/Metrischer Raum/Abgeschlossen/Charakterisierung mit konvergenten Folgen/Fakt/Faktreferenznummer