"Ohsawa's finiteness theorem"は
小林の
https://www.mathsoc.jp/assets/pdf/publications/pubmsj/Vol15.pdf
でも紹介されています。