書き直していたらすっきりとした形を思いついたので、それを採用。スパイシーでカツ丼を食べているときにミスに気がついたので、それを修正。Lemma 3.16aはこれで良しと。

元の論文を読まなくてもある程度理解できるように書くのは難しいものだな。暗号の安全性の証明の方は、一度補題を挟んでから証明するので、そのまま引用すればよい。けれども、ハッシュの強衝突耐性の方は証明に組み込まれているので、そこを解きほぐして大…