Der Satz über den Tangentialraum einer abgeschlossenen Untermannigfaltigkeit M ⊆ N {\displaystyle {}M\subseteq N} .