ケチつけるわけではないが野口さんの新本の一部証明が不完全らしい
https://www.ms.u-tokyo.ac.jp/~noguchi/corr-hosoku.pdf