您即将离开知乎，请注意您的账号和财产安全。
http://math.andrej.com/2010/03/29/proof-of-negation-and-proof-by-contradiction/
