全体はこれ
https://zbmath.org/pdf/07317908.pdf