当你想证明一件事情成立，需要证明在所有条件下都成立。而如果证明其不成立，只需证明在部分情况下不成立即可。
--
FROM 218.108.210.*