R^n/Kompakte Teilmenge/In echtem Unterraum/Null/Fakt

Es sei ein Untervektorraum der Dimension und eine kompakte Teilmenge

Dann ist .