あった！

引用されていた文献で8000円のものがあってどうしようかなと思っていましたが、

手持ちの本にも証明が載っていました。やったー！

いや、8000円という値段の問題ではなく、絶版で中古しかなく、

海外から取り寄せなければならなくてすぐに手に入らないし、

出品者がコロナで対応できるかわからないのでハードルが高いのはそっちです。

とりあえずよかった。