Start=kompakte (R^n)

MDLUL/kompakte (R^n)

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