"d" 次元多様体 "n" が "n" 次元多様体 "m" の中へ埋め込まれているとする( "d" &lt; "n" )。