rt，证明来源于算法进阶指南

其中第三步到第四步不是很理解啊，这个类推是怎么类推出来的？