＞Bochnerの方法
（リッチ曲率の正・負から切断の自明性の証明）

そういえばそんなこと名大の藤野さんが論説書いてた気がする。
調べてみます。