岡の原理に戻ると
2007年のJ.-P.ロゼイによる反例はシュタイン多様体でなくても
岡の原理が成り立つ多様体の例になっている。