なお −|logΘ| の有限性については
GoのサーベイのProp.1.12 (原論文だと[IUTchIV,Thm.1.10]) より従う

詳しくはGoのサーベイの34〜35ページ
http://www.kurims.kyoto-u.ac.jp/~gokun/DOCUMENTS/abc2018May28.pdf