openness conjectureが解決された結果
開性定理が生まれた
そのeffective versionsが
複素幾何に応用されている