複素領域 Ω⊂CをR^2の実多様体として考えてその複素化X⊂C^2を考える。そこで楔の刃型定理を使って極限を考える。シーフは省略