>>285
>コンパクトケーラー多様体上の複素直線束に係数を持つ正則微分形式の芽の層）>に対するコホモロジーの消滅が、そのコホモロジー類に属する調和形式が
>ゼロである事を示す事に帰着する。
この方法をそのまま非コンパクトな多様体上で用いると
岡理論が回復できる。
これを初めて指摘したのはAndreottiとVesentiniで
Sopra un theorema di Kodairaという論文では
秋月・中野の消滅定理も一般化されている。しかし
この結果は
今日ではなぜかHörmanderに帰せられることが多い。