>>303
改訂履歴を見てきた
2019年10月31日の改訂の時に修正したっぽい
http://www.kurims.kyoto-u.ac.jp/~motizuki/2019-10-31-iu-teich-revisions.txt
それより後の修正では証明には触れてないみたい
http://www.kurims.kyoto-u.ac.jp/~motizuki/news-japanese.html

適当なことを書き込んでしまい、申し訳ありませんでした