3.4 反证法