>>83
正確に言うと次の通り
1) （開集合の）可算基底を持つ任意の実解析的多様体は、連結と限らなくてもその複素近傍を持つ。
（ペアとして局所的に (C^n, R^n) と同型の意味 ）
2) 二つの複素近傍は共通の（同型の意味）より小さな（即ち含まれる）複素近傍を持つ
3) 複素近傍は必ずそれに含まれるStien複素近傍を持つ−これより埋め込み定理：可算基底を持つ実解析多様体は
連結でなくとも適当な次元のユークリッド空間 R^m の閉部分多様体として埋め込まれる。−が出る。
次元については微分トポロジーの結果と合わせて m = 2n + 1 としてよい。
従って完備且つ実解析的なリーマン計量を持つなどの結果が従う