Start=Kompakt (Rn)

MDLUL/Kompakt (Rn)

Ziel=Kompaktheit/R^n/Abgeschlossen und beschränkt/Definition