本を書くときには、相当な量のサーヴェイをするのですが、そのときどうしても、既存研究のアラやヌケがいくつも見付かります。そこで仕方なく（そうしないと執筆が進められないので）自分で定理を証明するのですが、今回はそれが二本の論文にまとまりました…