Start=kompakt (R^n)

MDLUL/kompakt (R^n)

Ziel=Kompaktheit/R^n/Abgeschlossen_und_beschränkt/Definition