PRP-PRF转换引理证明注记

《可证明安全理论及方法---密码算法》 (袁征、 周琳娜、 刘晨祎编著， 2017 年 11 月第 1 版， 科学出版社） 的 2.4.1 节给出了伪随机函数与伪随机置换的概率关系， 2.4.2 节引理 2.1 给出 PRP/PRF 转换引理， 其中引理 2.1 的推导过程不易理解， 在此对其重新 推导。