>>207
正直線束をもてばケーラー計量が入ることは自明
だったらケーラーを仮定しなくてもいいじゃないかという疑問は
もっともだが
ケーラー多様体上の消滅定理はもっといろいろあり得るので
そのうちの１つとして小平消滅定理を述べたいとすれば
こんな形になる。
ようするに後のことも考えた述べ方なのだよ。