上一期: 反证法
下一期: 归纳法