Start=kompakten (R^n)

MDLUL/kompakten (R^n)

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