Li-Fan Chen says to YSITD
我還是不懂對角線論證為什麼有效