4.6 反证法