Mannigfaltigkeit mit Rand/Rand ist Mannigfaltigkeit/Fakt

Es sei eine differenzierbare Mannigfaltigkeit mit Rand der Dimension .

Dann ist der Rand eine differenzierbare Mannigfaltigkeit (ohne Rand) der Dimension .