用反证法证明命题例子