编程练习
法本无法:证明数学归纳法与反证法本身