用反证法证明一个真命题