反证法——证明命题为真命题的杀手锏