3.3.3 逆向归纳法