Start=kompakt (n)

MDLUL/kompakt (n)

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