Start=kompakt (K)

MDLUL/kompakt (K)

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