Sean Wei says to YSITD
不然呢? 算反證法吧 (?