24.2.1 反证法