2.3 反证法与放缩法