>>371
Forstnericの本はStein多様体上のホモトピー原理だが
岡の定理が成り立つ複素多様体はStein多様体とは
限らない。
Stein多様体上のStein束で全空間がSteinでないものが
いくつかしられているが
その中には岡の原理が成り立つものがある。
これは近い将来の多変数関数論の一つの方向性を示唆していると
思われる。