埋め込み定理は多様体論の基本だが
シュタイン多様体の埋め込みは
局所理論と張り合わせだけでは不十分
プロパーな埋め込みを示すためには
ルンゲ型の近似が不可欠