反证法为啥能用 #192

Open qingwen-guan opened 4 years ago