逆向归纳法的应用例子