>>426
複素解析的多様体については
ヘルマンダーが線形偏微分方程式系で
解析して結論を出せたからのう