288の予備知識として必須なのは
Stein部分多様体がStein近傍系を持つという
Siuの定理